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