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