What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? forall x_20: R_20(x_20) -> S_20(x_20). S_20(j_4) <-> q_3. R_20(j_4) <-> q.
S_20(j_4) -> q_3. R_20(j_4) -> q. q_3 -> S_20(j_4). q -> R_20(j_4).