What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Karen is driving a car or it is sunny. If Karen drives a car, then Jennifer is writing a letter. If Jennifer writes a letter, then it is snowing. It is sunny if and only if it is snowing.
If Karen drives a car, then it is snowing. If it is sunny, then it is snowing. If it snows, then it is sunny.