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