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