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