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