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