Consider the following premises. p <-> q_16. ~p. ~p_7. p_7 <-> s_1. Can we infer ~q_16 and ~s_1 from them?
 From p <-> q_16, ~p we can infer ~q_16. From p_7 <-> s_1, ~p_7 we can infer ~s_1. Finally, from ~q_16, ~s_1 we can infer ~q_16 and ~s_1. Therefore, the answer is yes.