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