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