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