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