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