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