Consider the following premises. t. q_1 -> p. p <-> t. Can we infer p from them?
 From p <-> t we can infer t -> p. From t we can infer t or q_1. Finally, from t -> p, q_1 -> p, t or q_1 we can infer p. Therefore, the answer is yes.