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