Statement Q≤U<I≤C=K Conclusions I. U>K II. Q<C
Statements: U # X, X * D, D @ Y Conclusions: I. U @ Y II. U * Y