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