What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? q_16. p. r_1 <-> w. r_1 -> ~q_16. w or q_4.
~r_1. q_16 and p. p and q_16. r_1 -> w. w -> r_1.