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