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