What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is snowing. Karen is working if and only if it is raining. Charles is rich. If Karen works, then Charles is not rich.
Karen is not working. It is snowing and Charles is rich. Charles is rich and it is snowing. If Karen works, then it is raining. If it rains, then Karen is working.