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