Reason abstractly.
Given: (1) If X is blue, then Y is gold.
(2) Y is not gold.
Which of the following must be true?
A. Y is blue.
B. Y is not blue.
C. X is not blue.
D. X is gold.
