What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? U(d_1) -> Q(d_1). ~U(d_1). forall x: Q(x) -> U(x).
Nothing can be inferred from these premises.