What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jessica is running if and only if it is windy. It is windy or Jessica is not running. Jessica is not running.
If Jessica goes running, then it is windy. If Jessica goes running, then it is windy. If it is windy, then Jessica is running. It is not windy.