What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? S(f_3) -> q_2. S(f_3) or ~q_2. forall x_4: S(x_4).
q_2 -> S(f_3).