(RULES a -> , a a -> b a b c c b , c b -> a)