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