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