Consider the following premises. ~s or q. p_2 or ~q. s or q_16. ~q_16. Can we infer ~p_2 from them?
 From s or q_16, ~s or q we can infer q_16 or q. From q_16 or q, ~q_16 we can infer q. From p_2 or ~q we can infer q -> p_2. Finally, from q -> p_2, q we can infer p_2, which contradicts ~p_2. Therefore, the answer is no.