Consider the following premises. ~q_10. ~w_4 -> s_4. w_4 -> q_10. q_10 -> w_4. Can we infer ~s_4 from them?
 From w_4 -> q_10, q_10 -> w_4 we can infer w_4 <-> q_10. From w_4 <-> q_10, ~q_10 we can infer ~w_4. Finally, from ~w_4 -> s_4, ~w_4 we can infer s_4, which contradicts ~s_4. Therefore, the answer is no.