Consider the following premises. q. p -> ~t. p or t_3. t. Can we infer t_3 and q from them? If possible, name the inference rules being used at each step.
 From p -> ~t, t we can infer ~p via modus tollens. From p or t_3, ~p we can infer t_3 via disjunctive syllogism. Finally, from t_3, q we can infer t_3 and q via conjunction. Therefore, the answer is yes.