Consider the following premises. q -> w_1. t_2. w -> ~t_2. w_1 -> w. Can we infer ~q from them? If possible, name the inference rules being used at each step.
 From w -> ~t_2, t_2 we can infer ~w via modus tollens. From w_1 -> w, ~w we can infer ~w_1 via modus tollens. Finally, from q -> w_1, ~w_1 we can infer ~q via modus tollens. Therefore, the answer is yes.