Statements: W δ U, U @ G, G $ M
Conclusions:
I. M * U
II. G * W
Statements: P $ Q, Q δ S, S * R
I. S * P
II. S $ P
Statements: Y © S, S δ R, R * Q Conclusions: I. Q @ S II. Y * R
Statements: E @ M, M * H, H © G
I. G @ M
II. G @ E