Consider the following premises. w_1 <-> t_2. ~q_9. t_2 -> q_9. t_2 or ~q_9. Can we infer ~w_1 from them?
 From t_2 or ~q_9 we can infer q_9 -> t_2. From t_2 -> q_9, q_9 -> t_2 we can infer t_2 <-> q_9. From t_2 <-> q_9, ~q_9 we can infer ~t_2. Finally, from w_1 <-> t_2, ~t_2 we can infer ~w_1. Therefore, the answer is yes.