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