MAYBE
138.09/55.31	MAYBE
138.09/55.31	
138.09/55.31	Problem:
138.09/55.31	 a(a(x1)) -> b(x1)
138.09/55.31	 a(b(x1)) -> c(a(x1))
138.09/55.31	 c(c(x1)) -> b(a(b(x1)))
138.09/55.31	
138.09/55.31	Proof:
138.09/55.31	 Open
138.09/55.32	EOF