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