Consider the following premises. t_4 -> w_3. u and q_14. u -> t_4. Can we infer ~w_3 from them?
 From u and q_14 we can infer u. From u -> t_4, u we can infer t_4. Finally, from t_4 -> w_3, t_4 we can infer w_3, which contradicts ~w_3. Therefore, the answer is no.