MAYBE
31.93/10.36	MAYBE
31.93/10.36	
31.93/10.36	Problem:
31.93/10.36	 a(x1) -> x1
31.93/10.36	 a(a(x1)) -> a(b(a(b(c(a(x1))))))
31.93/10.36	 c(b(x1)) -> a(x1)
31.93/10.36	
31.93/10.36	Proof:
31.93/10.36	 Open
31.93/10.36	EOF