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