What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? p_12. t_3. s_3.
p_12 and t_3. p_12 and s_3. t_3 and p_12. t_3 and s_3. s_3 and p_12. s_3 and t_3.