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