MAYBE
32.61/10.36	MAYBE
32.61/10.36	
32.61/10.36	Problem:
32.61/10.36	 a(x1) -> x1
32.61/10.36	 a(b(x1)) -> b(a(c(a(x1))))
32.61/10.36	 c(b(x1)) -> x1
32.61/10.36	 c(c(x1)) -> b(x1)
32.61/10.36	
32.61/10.36	Proof:
32.61/10.36	 Open
32.61/10.36	EOF