MAYBE
89.84/53.66	MAYBE
89.84/53.66	
89.84/53.66	Problem:
89.84/53.66	 a(x1) -> x1
89.84/53.66	 a(b(x1)) -> c(x1)
89.84/53.66	 c(c(x1)) -> b(a(c(b(a(a(x1))))))
89.84/53.66	
89.84/53.66	Proof:
89.84/53.66	 Open
89.84/53.67	EOF