MAYBE
238.62/60.36	MAYBE
238.62/60.36	
238.62/60.36	Problem:
238.62/60.36	 g(x,x,x) -> g(c(),d(),e())
238.62/60.36	 g(x,y,x) -> g(c(),d(),e())
238.62/60.36	 s(f(x,y)) -> f(y,f(s(s(x)),a()))
238.62/60.36	 h(h(x,a()),y) -> h(h(a(),y),h(a(),x))
238.62/60.36	 f(x,f(y,f(x,y))) -> f(a(),f(x,f(y,b())))
238.62/60.36	 f(h(a(),y),g(x,b(),a())) -> h(f(x,s(y)),s(b()))
238.62/60.36	 h(f(x,s(y)),b()) -> f(a(),g(y,a(),f(s(x),a())))
238.62/60.36	 f(x,g(x,a(),f(s(x),y))) -> f(h(x,b()),g(a(),b(),y))
238.62/60.36	 s(y) -> b()
238.62/60.36	
238.62/60.36	Proof:
238.62/60.36	 Open
238.62/60.36	EOF