Consider the following premises. u_3 -> s. t_1 -> u_3. s -> q. q -> t. Can we infer t_1 -> t from them?
 From t_1 -> u_3, u_3 -> s we can infer t_1 -> s. From t_1 -> s, s -> q we can infer t_1 -> q. Finally, from t_1 -> q, q -> t we can infer t_1 -> t. Therefore, the answer is yes.