Consider the following premises. For all x_16, if x_16 plays tennis, then x_16 is making tea. If Sarah were an artist, then Thomas is working. For all x_16, x_16 will listen to a song or x_16 will play tennis. For all x_16, if x_16 listens to a song, then x_16 is making tea. For all x_16, x_16 is an artist. Can we infer the following from them? If we can, name the inference rule being used: Thomas is working.
 From the fact that for all x_16, if x_16 listens to a song, then x_16 is making tea, that for all x_16, if x_16 plays tennis, then x_16 is making tea, and that for all x_16, x_16 will listen to a song or x_16 will play tennis we can infer that for all x_16, x_16 will make tea via universal disjunction elimination. From the fact that for all x_16, x_16 is an artist, and that for all x_16, x_16 will make tea we can infer that for all x_16, x_16 is an artist and x_16 will make tea via universal conjunction. From the fact that for all x_16, x_16 is an artist and x_16 will make tea we can infer that Sarah is an artist and Sarah is making tea via universal instantiation. From the fact that Sarah is an artist and Sarah is making tea we can infer that Sarah is an artist via simplification. Finally, from the fact that if Sarah were an artist, then Thomas is working, and that Sarah is an artist we can infer that Thomas is working via modus ponens. Therefore, the answer is yes.