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