What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? t -> s. forall x_14: ~R_14(x_14). s <-> R_14(j).
s -> R_14(j). R_14(j) -> s.