What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Susan were a soldier, then it is raining. Linda is not driving a car. Linda is driving a car or Susan is a soldier. If it rains, then Michael is happy. It is windy.
If Susan were a soldier, then Michael is happy. Susan is a soldier. Linda is not driving a car and it is windy. It is windy and Linda is not driving a car.