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