What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If James were a police officer, then James is driving a car. It is late if and only if James is driving a car. It is not late. James is not a police officer if and only if Mary is playing tennis.
If it is late, then James is driving a car. If James were not a police officer, then Mary is playing tennis. If James drives a car, then it is late. If Mary plays tennis, then James is not a police officer. James is not driving a car.