What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Q_1(j_2) -> s_3. forall x_8: Q_1(x_8) or S_8(x_8). ~s_3.
~Q_1(j_2).