Consider the following premises. q_11. s or ~q_11. Can we infer ~s from them?
 From s or ~q_11 we can infer q_11 -> s. Finally, from q_11 -> s, q_11 we can infer s, which contradicts ~s. Therefore, the answer is no.