Consider the following premises. p_13 -> ~r_2. q_3. p_10 <-> p_13. r_2. Can we infer ~p_10 from them?
 From p_13 -> ~r_2, r_2 we can infer ~p_13. Finally, from p_10 <-> p_13, ~p_13 we can infer ~p_10. Therefore, the answer is yes.