Consider the following premises. s -> t. t -> w. t_3 -> s. w -> q. Can we infer ~(t_3 -> q) from them?
 From t_3 -> s, s -> t we can infer t_3 -> t. From t -> w, w -> q we can infer t -> q. Finally, from t_3 -> t, t -> q we can infer t_3 -> q, which contradicts ~(t_3 -> q). Therefore, the answer is no.