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