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