What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x, x is curious if and only if x will go running. If Jessica were a scientist, then Michael is curious. Michael is running.
There is at least one x for which x will go running. For all x, if x were curious, then x is running. For all x, if x goes running, then x is curious.