MAYBE
220.73/55.96	MAYBE
220.73/55.96	
220.73/55.96	Problem:
220.73/55.96	 f(x,a(b(y))) -> f(a(b(x)),y)
220.73/55.96	 f(x,b(c(y))) -> f(b(c(x)),y)
220.73/55.96	 f(x,c(a(y))) -> f(c(a(x)),y)
220.73/55.96	 f(a(x),y) -> f(x,a(y))
220.73/55.96	 f(b(x),y) -> f(x,b(y))
220.73/55.96	 f(c(x),y) -> f(x,c(y))
220.73/55.96	
220.73/55.96	Proof:
220.73/55.96	 Open
220.73/55.96	EOF