What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? ~u_2. ~w_1. p_1 or u_2. p_14 -> w_1. ~p_1 or r.
~p_14. ~u_2 and ~w_1. ~w_1 and ~u_2. u_2 or r.