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