MAYBE
43.05/11.64	MAYBE
43.05/11.65	
43.05/11.65	Problem:
43.05/11.65	 a(x1) -> x1
43.05/11.65	 a(a(b(x1))) -> b(a(b(c(a(x1)))))
43.05/11.65	 c(b(x1)) -> a(x1)
43.05/11.65	
43.05/11.65	Proof:
43.05/11.65	 Open
43.05/11.65	EOF