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