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, which contradicts ~(p_11 -> t). Therefore, the answer is no.