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