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