What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If John were a server, then Thomas is fast. Karen is sleeping or John is a server. Karen is not sleeping or Mary is excited. Mary is excited if and only if Thomas is fast.
John is a server or Mary is excited. If Mary were excited, then Thomas is fast. If Thomas were fast, then Mary is excited.