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