MAYBE
42.66/11.56	MAYBE
42.66/11.56	
42.66/11.56	Problem:
42.66/11.56	 a(a(b(c(x1)))) -> b(b(a(a(x1))))
42.66/11.56	 b(x1) -> c(c(a(a(x1))))
42.66/11.56	 b(c(x1)) -> a(x1)
42.66/11.56	 a(a(c(x1))) -> x1
42.66/11.56	
42.66/11.56	Proof:
42.66/11.56	 Open
42.66/11.57	EOF