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