MAYBE
39.59/10.36	MAYBE
39.59/10.36	
39.59/10.36	Problem:
39.59/10.36	 a(x1) -> x1
39.59/10.36	 a(b(x1)) -> b(a(c(x1)))
39.59/10.36	 b(b(x1)) -> x1
39.59/10.36	 c(c(x1)) -> b(a(x1))
39.59/10.36	
39.59/10.36	Proof:
39.59/10.36	 Open
39.59/10.37	EOF