Consider the following premises. p. forall y_3: S(y_3). Can we infer S(i) from them? If possible, name the inference rules being used at each step.
We can infer S(i) via the universal instantiation rule. Therefore, the answer is yes.