What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is late, then Karen is a server. If Karen were a server, then Sarah is writing a letter. Linda is excited or Sarah is not writing a letter. If it snows, then it is late.
If it is late, then Sarah is writing a letter. If it snows, then Karen is a server. If Sarah writes a letter, then Linda is excited.