What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is sunny. John is a server. Elisabeth is an office clerk or John is not a server.
It is sunny and John is a server. John is a server and it is sunny. If John were a server, then Elisabeth is an office clerk.