0.55/0.62	YES
0.55/0.62	
0.55/0.62	Problem:
0.55/0.62	 a() -> f(h(c(),h(h(h(h(f(h(a(),b())),a()),h(h(h(f(f(a())),c()),h(f(b()),a())),a())),b()),c())))
0.55/0.62	 h(f(f(b())),h(c(),h(f(f(h(h(b(),h(c(),c())),h(f(a()),c())))),f(a())))) -> h(b(),b())
0.55/0.62	 f(c()) -> c()
0.55/0.62	 f(f(h(f(h(c(),h(a(),f(a())))),f(c())))) -> b()
0.55/0.62	
0.55/0.62	Proof:
0.55/0.62	 Uncurry Processor:
0.55/0.62	  a() ->
0.55/0.62	  f5(f(),f5(f5(h(),c()),f5(f5(h(),f5(f5(h(),f5(f5(h(),f5(f5(h(),f5(f(),f5(f5(h(),a()),b()))),a())),
0.55/0.62	                                               f5(f5(h(),f5(f5(h(),f5
0.55/0.62	                                                                   (f5(h(),f5(f(),f5(f(),a()))),c())),
0.55/0.62	                                                            f5(f5(h(),f5(f(),b())),a()))),
0.55/0.62	                                                  a()))),b())),c())))
0.55/0.62	  f5(f5(h(),f5(f(),f5(f(),b()))),f5(f5(h(),c()),f5(f5(h(),f5(f(),f5(f(),
0.55/0.62	                                                                    f5
0.55/0.62	                                                                    (
0.55/0.62	                                                                    f5
0.55/0.62	                                                                    (
0.55/0.62	                                                                    h(),
0.55/0.62	                                                                    f5
0.55/0.62	                                                                    (
0.55/0.62	                                                                    f5(h(),b()),
0.55/0.62	                                                                    f5(f5(h(),c()),c()))),
0.55/0.62	                                                                    f5
0.55/0.62	                                                                    (f5(h(),f5(f(),a())),c()))))),
0.55/0.62	                                                   f5(f(),a()))))
0.55/0.62	  -> f5(f5(h(),b()),b())
0.55/0.62	  f5(f(),c()) -> c()
0.55/0.62	  f5(f(),f5(f(),f5(f5(h(),f5(f(),f5(f5(h(),c()),f5(f5(h(),a()),f5(f(),a()))))),f5(f(),c())))) ->
0.55/0.62	  b()
0.55/0.62	  Ground Confluence Processor:
0.55/0.62	   UNC by decision procedure.
0.55/0.62	EOF