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