What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Karen is not driving a car. If Linda were a soldier, then Mary is not an artist. It is windy or Mary is an artist. It is windy if and only if Karen is driving a car.
If it is windy, then Karen is driving a car. If Karen drives a car, then it is windy. It is not windy.