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