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