Statements: W © A, B * A, B @ M
Conclusions: I. B # W II. W $ B
Statements: U $ C, C * P, P # L, L # X Conclusions: I. X = C II. P @ U