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