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