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