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