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