What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is late. Jessica is not a carpenter. Linda is a server if and only if Jessica is a carpenter. If Joseph reads a book, then Linda is a server.
It is late and Jessica is not a carpenter. Jessica is not a carpenter and it is late. If Linda were a server, then Jessica is a carpenter. If Jessica were a carpenter, then Linda is a server. Linda is not a server.