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