MAYBE
210.22/64.70	MAYBE
210.22/64.70	
210.22/64.70	Problem:
210.22/64.70	 r(e(x1)) -> w(r(x1))
210.22/64.70	 i(t(x1)) -> e(r(x1))
210.22/64.70	 e(w(x1)) -> r(i(x1))
210.22/64.70	 t(e(x1)) -> r(e(x1))
210.22/64.70	 w(r(x1)) -> i(t(x1))
210.22/64.70	 e(r(x1)) -> e(w(x1))
210.22/64.70	 r(i(t(e(r(x1))))) -> e(w(r(i(t(e(x1))))))
210.22/64.70	
210.22/64.70	Proof:
210.22/64.70	 Open
210.22/64.71	EOF