What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Linda is poor if and only if it is snowing. Karen is a server or it is snowing. Linda is not poor.
If it doesn't snow, then Karen is a server. If Linda were poor, then it is snowing. If it snows, then Linda is poor. It is not snowing.