What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Elisabeth plays a game, then William is an astronaut. If Patricia were poor, then Elisabeth is playing a game. Elisabeth is working if and only if Elisabeth is playing a game. If James were bored, then Patricia is poor. If William were an astronaut, then James is bored. Patricia is not poor.
James is not bored. If Elisabeth plays a game, then James is bored. If Patricia were poor, then William is an astronaut. If James were bored, then Elisabeth is playing a game. If William were an astronaut, then Patricia is poor. If Elisabeth works, then Elisabeth is playing a game. If Elisabeth plays a game, then Elisabeth is working.