What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? t. u <-> q_13. ~u.
t and ~u. ~u and t. u -> q_13. q_13 -> u. ~q_13.