Consider the following premises. p_2 -> p. ~q_10. p -> q_10. Can we infer ~p_2 or s from them?
 From p -> q_10, ~q_10 we can infer ~p. From p_2 -> p, ~p we can infer ~p_2. Finally, from ~p_2 we can infer ~p_2 or s. Therefore, the answer is yes.