Consider the following premises. t_3 -> q_6. ~q_6. p_1 -> t_3. p_1 or t. Can we infer ~t from them?
 From t_3 -> q_6, ~q_6 we can infer ~t_3. From p_1 -> t_3, ~t_3 we can infer ~p_1. Finally, from p_1 or t, ~p_1 we can infer t, which contradicts ~t. Therefore, the answer is no.