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