What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? p_10. p_10 -> p_2. p_1. p_1 -> q_2.
p_2. q_2. p_10 and p_1. p_1 and p_10.