MAYBE
194.81/55.39	MAYBE
194.81/55.39	
194.81/55.39	Problem:
194.81/55.39	 a(a(x1)) -> b(c(x1))
194.81/55.39	 a(b(x1)) -> c(a(x1))
194.81/55.39	 c(c(x1)) -> a(b(x1))
194.81/55.39	
194.81/55.39	Proof:
194.81/55.39	 Open
194.81/55.39	EOF