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