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

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