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