MAYBE
39.27/10.38	MAYBE
39.27/10.38	
39.27/10.38	Problem:
39.27/10.38	 a(b(x1)) -> x1
39.27/10.38	 a(c(x1)) -> b(c(c(a(a(b(x1))))))
39.27/10.38	 b(c(x1)) -> x1
39.27/10.38	
39.27/10.38	Proof:
39.27/10.38	 Open
39.27/10.39	EOF