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