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