MAYBE
98.37/55.34	MAYBE
98.37/55.34	
98.37/55.34	Problem:
98.37/55.34	 a(a(x1)) -> b(x1)
98.37/55.34	 b(c(x1)) -> a(x1)
98.37/55.34	 c(b(x1)) -> b(c(c(a(x1))))
98.37/55.34	
98.37/55.34	Proof:
98.37/55.34	 Open
98.37/55.35	EOF