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