MAYBE
226.98/57.58	MAYBE
226.98/57.58	
226.98/57.58	Problem:
226.98/57.58	 a(a(b(b(x1)))) -> b(b(c(c(a(a(x1))))))
226.98/57.58	 b(b(c(c(x1)))) -> c(c(b(b(b(b(x1))))))
226.98/57.58	 a(a(c(c(x1)))) -> c(c(a(a(b(b(x1))))))
226.98/57.58	
226.98/57.58	Proof:
226.98/57.58	 Open
226.98/57.59	EOF