0.75/0.91	NO
0.75/0.91	
0.75/0.91	Problem:
0.75/0.91	 f(g(f(x))) -> g(f(g(x)))
0.75/0.91	 f(c()) -> c()
0.75/0.91	 g(c()) -> c()
0.75/0.91	
0.75/0.91	Proof:
0.75/0.91	 Nonconfluence Processor:
0.75/0.91	  terms: f(g(g(f(g(x9))))) *<- f(g(f(g(f(x9))))) ->* g(f(g(g(f(x9)))))
0.75/0.91	  Qed
0.75/0.92	EOF