What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Joseph were a bartender, then Mary is running. Linda is a poet and it is raining. If Charles were a musician, then Mary is running. Linda is not a poet or Joseph is a bartender.
Linda is a poet. It is raining.