Consider the following premises. q_10 -> s_3. w. ~q_10. s_3 -> q_10. Can we infer w and ~s_3 from them?
 From s_3 -> q_10, q_10 -> s_3 we can infer s_3 <-> q_10. From s_3 <-> q_10, ~q_10 we can infer ~s_3. Finally, from w, ~s_3 we can infer w and ~s_3. Therefore, the answer is yes.