Consider the following premises. p_10 and r_1. q_1 <-> u. u -> ~p_10. Can we infer ~q_1 from them?
 From p_10 and r_1 we can infer p_10. From u -> ~p_10, p_10 we can infer ~u. Finally, from q_1 <-> u, ~u we can infer ~q_1. Therefore, the answer is yes.