Consider the following premises. p -> t_1. t <-> t_1. Can we infer ~(p -> t) from them?
 From t <-> t_1 we can infer t_1 -> t. Finally, from p -> t_1, t_1 -> t we can infer p -> t, which contradicts ~(p -> t). Therefore, the answer is no.