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