下面的推理正确的是
A. (1) $(\forall x) F(x) \rightarrow G(x)$ 前提引人
(2) $F(y) \rightarrow G(y)$ US (1).
B. (1) $(\exists x) F(x) \rightarrow G(x) \quad$ 前提引人
(2) $F(y) \rightarrow G(y) \quad U S(1)$.
C. (1) $(\exists x)(F(x) \rightarrow G(x))$ 前提引人
(2) $F(y) \rightarrow G(y)$ ES (1).
D. (1) $(\forall x)(F(x) \rightarrow G(x))$ 前提引人
(2) $F(y) \rightarrow G(x)$ $E S(1)$.