MAYBE
229.45/60.22	MAYBE
229.45/60.22	
229.45/60.22	Problem:
229.45/60.22	 f(a(),f(a(),f(a(),f(x,b())))) -> f(f(a(),f(a(),f(a(),x))),b())
229.45/60.22	 f(f(f(a(),x),b()),b()) -> f(f(a(),f(f(x,b()),b())),b())
229.45/60.22	
229.45/60.22	Proof:
229.45/60.22	 Open
229.45/60.23	EOF