What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? w_4 -> w_1. p_6 or w_4. p_6 -> p_16. w_3 -> ~p_16. p_16 or ~w_1.
w_1 -> p_16.