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