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