1 (∃X)(∃y){Gx • Gy • X≠y • (∀Z)[Gz ⊃ (Z=x $\lor$

1. (∃x) (∃y) {Gx • Gy • x≠y • (∀z) [Gz ⊃ (z=x $\lor$ z=y) ]}
2. Ga • Gb • Gc
-Which of the following propositions is an immediate (one-step) consequence in F of the given premises?

A) Gb • Ga
B) (∃y) {Gd • Gy • d≠y • (∀z) [Gz ⊃ (z=d $\lor$ z=y) ]}
C) (∃y) {Gx • Gy • d≠y • (∀z) [Gz ⊃ (z=d $\lor$ z=y) ]}
D) (∃y) {Gd • Gy • x≠y • (∀z) [Gz ⊃ (z=d $\lor$ z=y) ]}
E) (∃y) {Gd • Gy • d≠y • (∀z) [Gd ⊃ (z=x $\lor$ z=y) ]}