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