Consider the following premises. For all x_12, if x_12 works, then x_12 is a poet. For all x_12, x_12 is an artist if and only if x_12 is a poet. For all x_12, x_12 will play a game or x_12 will climb a mountain. For all x_12, if x_12 climbs a mountain, then x_12 is working. For all x_12, if x_12 plays a game, then x_12 is working. Can we infer the following from them? For all x_12, x_12 is an artist.
 From the fact that for all x_12, x_12 is an artist if and only if x_12 is a poet we can infer that for all x_12, if x_12 were a poet, then x_12 is an artist. From the fact that for all x_12, if x_12 plays a game, then x_12 is working, that for all x_12, if x_12 climbs a mountain, then x_12 is working, and that for all x_12, x_12 will play a game or x_12 will climb a mountain we can infer that for all x_12, x_12 will work. From the fact that for all x_12, if x_12 works, then x_12 is a poet, and that for all x_12, x_12 will work we can infer that for all x_12, x_12 is a poet. Finally, from the fact that for all x_12, if x_12 were a poet, then x_12 is an artist, and that for all x_12, x_12 is a poet we can infer that for all x_12, x_12 is an artist. Therefore, the answer is yes.