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