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