TomoLink
Mediumtcs-nqt

Statements: X ≥ Y = Z > W Conclusions: I. X > W II. Z ≥ X