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