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