Consider the following premises. p_16 -> ~u_1. u_1 and q_24. p_13 <-> p_16. ~p_13 <-> q. Can we infer q from them?
 From u_1 and q_24 we can infer u_1. From p_16 -> ~u_1, u_1 we can infer ~p_16. From p_13 <-> p_16, ~p_16 we can infer ~p_13. From ~p_13 <-> q we can infer ~p_13 -> q. Finally, from ~p_13 -> q, ~p_13 we can infer q. Therefore, the answer is yes.