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