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