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