MAYBE
33.01/10.32	MAYBE
33.01/10.32	
33.01/10.32	Problem:
33.01/10.32	 a(x1) -> x1
33.01/10.32	 a(b(x1)) -> c(b(b(a(a(x1)))))
33.01/10.32	 b(x1) -> c(x1)
33.01/10.32	 c(c(x1)) -> x1
33.01/10.32	
33.01/10.32	Proof:
33.01/10.32	 Open
33.01/10.33	EOF