What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: p_8 or s_4. forall y: R(y). p_8 -> r_8. s_4 -> r_8.
r_8 can be inferred via the disjunction elimination rule.