MAYBE
215.32/55.95	MAYBE
215.32/55.95	
215.32/55.95	Problem:
215.32/55.95	 f(x,a(a(b(b(y))))) -> f(a(a(a(b(b(b(x)))))),y)
215.32/55.95	 f(a(x),y) -> f(x,a(y))
215.32/55.95	 f(b(x),y) -> f(x,b(y))
215.32/55.95	
215.32/55.95	Proof:
215.32/55.95	 Open
215.32/55.95	EOF