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