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