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