What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is windy, then Sarah is a scientist. If Barbara drives a car, then it is windy. Susan is not sad or Barbara is driving a car. If Sarah were a scientist, then it is windy. Susan is sad or Sarah is a scientist.
If Barbara drives a car, then Sarah is a scientist. Sarah is a scientist or Barbara is driving a car. It is windy if and only if Sarah is a scientist. Sarah is a scientist if and only if it is windy.