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