and(implies(some(r, implies(not(not(not(not(w)))), all(r, not(some(r, w))))), and(some(r, u), w)), not(implies(some(r, implies(not(not(not(not(w)))), all(r, not(some(r, w))))), and(some(r, u), w))))