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