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