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