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