Consider the following premises. w_1 or q_15. w_1 -> u. q_15 -> u. w -> w_3. u -> w. Can we infer ~w_3 from them?
 From w_1 -> u, q_15 -> u, w_1 or q_15 we can infer u. From u -> w, u we can infer w. Finally, from w -> w_3, w we can infer w_3, which contradicts ~w_3. Therefore, the answer is no.