Consider the following premises. For all y_2, y_2 is a poet if and only if y_2 will play a game. For all y_2, y_2 will play a game or y_2 is not a poet. Can we infer the following from them? If Susan were a poet, then Susan is playing a game.
 From the fact that for all y_2, y_2 is a poet if and only if y_2 will play a game we can infer that for all y_2, if y_2 plays a game, then y_2 is a poet. From the fact that for all y_2, y_2 will play a game or y_2 is not a poet we can infer that for all y_2, if y_2 were a poet, then y_2 is playing a game. From the fact that for all y_2, if y_2 were a poet, then y_2 is playing a game, and that for all y_2, if y_2 plays a game, then y_2 is a poet we can infer that for all y_2, y_2 is a poet if and only if y_2 will play a game. From the fact that for all y_2, y_2 is a poet if and only if y_2 will play a game we can infer that Susan is a poet if and only if Susan is playing a game. Finally, from the fact that Susan is a poet if and only if Susan is playing a game we can infer that if Susan were a poet, then Susan is playing a game. Therefore, the answer is yes.