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