MAYBE
36.43/10.35	MAYBE
36.43/10.35	
36.43/10.35	Problem:
36.43/10.35	 a(a(x1)) -> a(b(c(x1)))
36.43/10.35	 c(a(x1)) -> x1
36.43/10.35	 c(b(x1)) -> a(a(c(x1)))
36.43/10.35	
36.43/10.35	Proof:
36.43/10.35	 Open
36.43/10.35	EOF