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