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