What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_2, x_2 will not sleep. Susan is playing a game if and only if James is fast. If James were fast, then Sarah is sleeping.
If Susan plays a game, then James is fast. If James were fast, then Susan is playing a game.