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