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