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

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