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

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