MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 f(s(a()),s(b()),x) -> f(x,x,x)
0.08/0.18	 g(f(s(x),s(y),z)) -> g(f(x,y,z))
0.08/0.18	 cons(x,y) -> x
0.08/0.18	 cons(x,y) -> y
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.18	EOF