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