What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Elisabeth is a police officer or Sarah is bored. If Mary were a writer, then Richard is working. Mary is a writer if and only if David is a musician. Elisabeth is not a police officer or David is a musician. If Sarah were bored, then Mary is a writer.
If Sarah were bored, then Richard is working. Sarah is bored or David is a musician. If Mary were a writer, then David is a musician. If David were a musician, then Mary is a writer.