Consider the following premises. r_3 -> ~u_3. w_3 <-> r_3. t_1 -> w_3. u_3. Can we infer t_1 from them?
 From r_3 -> ~u_3, u_3 we can infer ~r_3. From w_3 <-> r_3, ~r_3 we can infer ~w_3. Finally, from t_1 -> w_3, ~w_3 we can infer ~t_1, which contradicts t_1. Therefore, the answer is no.