What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Joseph were sad, then Sarah is cooking. Linda is sleeping or it is cold. If Linda sleeps, then Michael is playing squash. If it is cold, then Joseph is sad. If Robert were a writer, then Sarah is cooking. If Michael plays squash, then Robert is a writer.
If Linda sleeps, then Robert is a writer. If it is cold, then Sarah is cooking. If Michael plays squash, then Sarah is cooking.