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