Consider the following premises. ~t_1. t_1 -> p_3. p_3 -> t_1. Can we infer ~p_3 from them?
 From p_3 -> t_1, t_1 -> p_3 we can infer p_3 <-> t_1. Finally, from p_3 <-> t_1, ~t_1 we can infer ~p_3. Therefore, the answer is yes.