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