What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If James writes a letter, then Sarah is a janitor. If Michael were a writer, then James is writing a letter. If it is cloudy, then Sarah is a janitor. Patricia is a cashier. Michael is a writer or it is cloudy.
If Michael were a writer, then Sarah is a janitor.