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 Richard were poor, then Sarah is driving a car. If Richard were not poor, then Jennifer is playing tennis. If Sarah drives a car, then it is not overcast.
Sarah is not driving a car. If Richard were poor, then it is not overcast.