Consider the following premises. S(e_2) -> q_9. S(e_2) or ~q_9. forall y: S(y). Can we infer q_9 from them?
 From forall y: S(y) we can infer S(e_2). From S(e_2) or ~q_9 we can infer q_9 -> S(e_2). From q_9 -> S(e_2), S(e_2) -> q_9 we can infer q_9 <-> S(e_2). From q_9 <-> S(e_2) we can infer S(e_2) -> q_9. Finally, from S(e_2) -> q_9, S(e_2) we can infer q_9. Therefore, the answer is yes.