What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is not late. Sarah is a server or it is not late. If Sarah were a server, then it is late. Sarah is not making tea or Patricia is fast. Sarah is making tea or Sarah is a server.
Sarah is not a server. Sarah is a server or Patricia is fast. If it is late, then Sarah is a server.