Consider the following premises. q_10 -> s_4. ~q. q_10 or ~s_4. q <-> q_10. Can we infer ~s_4 from them?
 From q <-> q_10, ~q we can infer ~q_10. From q_10 or ~s_4 we can infer s_4 -> q_10. From s_4 -> q_10, q_10 -> s_4 we can infer s_4 <-> q_10. Finally, from s_4 <-> q_10, ~q_10 we can infer ~s_4. Therefore, the answer is yes.