MAYBE
46.68/13.25	MAYBE
46.68/13.25	
46.68/13.25	Problem:
46.68/13.25	 a(b(x1)) -> x1
46.68/13.25	 a(c(x1)) -> b(b(x1))
46.68/13.25	 c(b(x1)) -> a(c(c(a(x1))))
46.68/13.25	
46.68/13.25	Proof:
46.68/13.25	 Open
46.68/13.25	EOF