What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Thomas were an artist, then Linda is a soldier. If David makes tea, then Thomas is an artist. For all x_12, x_12 will play a game if and only if x_12 is a soldier. David is making tea or Linda is playing a game.
If David makes tea, then Linda is a soldier. If Linda reads a book, then David is making tea. For all x_12, if x_12 plays a game, then x_12 is a soldier. For all x_12, if x_12 were a soldier, then x_12 is playing a game.