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