What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Joseph is not a scientist. Jennifer is not driving a car if and only if Richard is a nurse. If Jennifer drives a car, then Joseph is a scientist.
Jennifer is not driving a car. If Jennifer doesn't drive a car, then Richard is a nurse. If Richard were a nurse, then Jennifer is not driving a car.