MAYBE
0.07/0.18	MAYBE
0.07/0.18	
0.07/0.18	Problem:
0.07/0.18	 f(0(),1(),x) -> f(g(x),g(x),x)
0.07/0.18	 f(g(x),y,z) -> g(f(x,y,z))
0.07/0.18	 f(x,g(y),z) -> g(f(x,y,z))
0.07/0.18	 f(x,y,g(z)) -> g(f(x,y,z))
0.07/0.18	
0.07/0.18	Proof:
0.07/0.18	 Open
0.07/0.18	EOF