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