What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If James were bored, then Mary is listening to a song. Mary is not listening to a song. James is bored if and only if Jessica is writing a letter.
James is not bored. If James were bored, then Jessica is writing a letter. If Jessica writes a letter, then James is bored.