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