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