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