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