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