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