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