Consider the following premises. ~p_6. q. p_6 or w_2. q -> u. Can we infer ~w_2 from them?
 From q -> u, q we can infer u. Finally, from p_6 or w_2, ~p_6 we can infer w_2, which contradicts ~w_2. Therefore, the answer is no.