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