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