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