Consider the following premises. ~q_10. q_3 -> q_10. s -> q_3. Can we infer ~s or t from them? If possible, name the inference rules being used at each step.
 From q_3 -> q_10, ~q_10 we can infer ~q_3 via modus tollens. From s -> q_3, ~q_3 we can infer ~s via modus tollens. Finally, from ~s we can infer ~s or t via addition. Therefore, the answer is yes.