MAYBE
40.62/11.32	MAYBE
40.62/11.32	
40.62/11.32	Problem:
40.62/11.32	 a(b(x1)) -> x1
40.62/11.32	 a(c(x1)) -> b(c(a(b(c(a(x1))))))
40.62/11.32	 b(c(x1)) -> x1
40.62/11.32	
40.62/11.32	Proof:
40.62/11.32	 Open
40.62/11.32	EOF