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