MAYBE
43.80/13.98	MAYBE
43.80/13.98	
43.80/13.98	Problem:
43.80/13.98	 a(x1) -> x1
43.80/13.98	 a(x1) -> b(b(x1))
43.80/13.98	 b(a(c(x1))) -> c(c(a(a(x1))))
43.80/13.98	 c(x1) -> x1
43.80/13.98	
43.80/13.98	Proof:
43.80/13.98	 Open
43.80/13.98	EOF