1 (∃X)[Px • (∀Y)(Py ⊃ Y=x) • (∃Y)(Qy • Rxy)]

1. (∃x) [Px • (∀y) (Py ⊃ y=x) • (∃y) (Qy • Rxy) ]
2. (∃x) [Px • Sx • (∀y) ∼Ryx]
-Which of the following propositions is an immediate (one-step) consequence in F of the given premises?

A) Px • Sx • (∀y) ~Ryx
B) (∃y) (Qy • Rxy)
C) Px • (∀y) (Py ⊃ y=x) • (∃y) (Qy • Rxy)
D) (∃x) [Px • (∀y) (Py ⊃ y=x) ]
E) Pe • (∀y) (Py ⊃ y=e) • (∃y) (Qy • Rey)