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