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