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