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