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