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