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