Consider the following premises. ~w. q_3 -> w. w -> t. t -> q_3. Can we infer ~t from them?
 From t -> q_3, q_3 -> w we can infer t -> w. From w -> t, t -> w we can infer w <-> t. Finally, from w <-> t, ~w we can infer ~t. Therefore, the answer is yes.