What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_17, x_17 is not fast. Barbara is writing a letter if and only if John is fast. Barbara is writing a letter or William is listening to a song.
If Barbara writes a letter, then John is fast. If John were fast, then Barbara is writing a letter.