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