What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Elisabeth were a bartender, then it is raining. If it rains, then Linda is cooking. Elisabeth is a bartender or David is reading a book. Linda is not cooking.
It is not raining. If Elisabeth were a bartender, then Linda is cooking.