What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Robert is not a soldier. If Thomas doesn't cook, then it is late. If Thomas cooks, then Robert is a soldier. Jennifer is listening to a song.
Thomas is not cooking. Robert is not a soldier and Jennifer is listening to a song. Jennifer is listening to a song and Robert is not a soldier.