Consider the following premises. t_4 -> w_2. t_4 -> t. t. t -> t_4. u_2 -> w_2. Can we infer w_2 from them?
 From t_4 -> t, t -> t_4 we can infer t_4 <-> t. From t_4 <-> t we can infer t -> t_4. From t -> t_4, t_4 -> w_2 we can infer t -> w_2. From t we can infer t or u_2. Finally, from t -> w_2, u_2 -> w_2, t or u_2 we can infer w_2. Therefore, the answer is yes.