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