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