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