MAYBE
36.76/10.34	MAYBE
36.76/10.34	
36.76/10.34	Problem:
36.76/10.34	 a(x1) -> x1
36.76/10.34	 a(x1) -> b(c(x1))
36.76/10.34	 b(b(x1)) -> x1
36.76/10.34	 c(c(b(x1))) -> a(a(c(x1)))
36.76/10.34	
36.76/10.34	Proof:
36.76/10.34	 Open
36.76/10.35	EOF