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(a_8). forall x_10: P_10(x_10) or ~Q_10(x_10). p_2 or q_2. ~p_2 or Q_10(a_8).
q_2 or Q_10(a_8). R_1(a_8) -> ~p_2. forall x_10: Q_10(x_10) -> P_10(x_10).