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