Problem:
 b() -> h(c(),f(b()))
 a() -> c()
 h(h(h(f(a()),a()),a()),f(f(f(h(h(f(b()),b()),b()))))) -> a()
 c() -> h(f(h(c(),f(f(c())))),f(b()))

Proof:
 Uncurry Processor:
  b() -> f5(f5(h(),c()),f5(f(),b()))
  a() -> c()
  f5(f5(h(),f5(f5(h(),f5(f5(h(),f5(f(),a())),a())),a())),f5(f(),f5(f(),
                                                                   f5
                                                                   (f(),
                                                                    f5
                                                                    (
                                                                    f5
                                                                    (
                                                                    h(),
                                                                    f5(f5(h(),f5(f(),b())),b())),
                                                                    b
                                                                    ())))))
  -> a()
  c() -> f5(f5(h(),f5(f(),f5(f5(h(),c()),f5(f(),f5(f(),c()))))),f5(f(),b()))
  Ground Confluence Processor:
   non-confluent by decision procedure.