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