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