196.22/50.14	MAYBE
196.22/50.14	
196.22/50.14	Problem:
196.22/50.14	 a(a(x1)) -> b(x1)
196.22/50.14	 a(b(x1)) -> c(a(x1))
196.22/50.14	 c(c(x1)) -> b(a(b(x1)))
196.22/50.14	
196.22/50.14	Proof:
196.22/50.14	 Open
196.22/50.15	EOF