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