What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If John were rich, then Jessica is driving a car. Jennifer is not an office clerk. If Jessica drives a car, then Patricia is listening to a song. Jennifer is an office clerk or John is rich. It is overcast.
If John were rich, then Patricia is listening to a song. John is rich. Jennifer is not an office clerk and it is overcast. It is overcast and Jennifer is not an office clerk.