MAYBE
39.53/10.39	MAYBE
39.53/10.39	
39.53/10.39	Problem:
39.53/10.39	 a(x1) -> x1
39.53/10.39	 a(x1) -> b(x1)
39.53/10.39	 a(b(c(x1))) -> c(c(a(b(a(x1)))))
39.53/10.39	 b(x1) -> x1
39.53/10.39	
39.53/10.39	Proof:
39.53/10.39	 Open
39.89/10.40	EOF