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