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