What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Mary is not playing a game. Susan is running or Mary is playing a game. If Patricia were fast, then Jessica is not writing a letter. Susan is not running or Jessica is writing a letter.
Mary is playing a game or Jessica is writing a letter.