Consider the following premises. w_2 or ~t_1. ~w_2. ~t_1 -> q. Can we infer ~q from them? If possible, name the inference rules being used at each step.
 From w_2 or ~t_1 we can infer t_1 -> w_2 via rewriting. From t_1 -> w_2, ~w_2 we can infer ~t_1 via modus tollens. Finally, from ~t_1 -> q, ~t_1 we can infer q via modus ponens, which contradicts ~q. Therefore, the answer is no.