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