Consider the following premises. Linda is playing tennis. For all x_24, if x_24 were a poet, then x_24 is a cashier. For all x_24, x_24 is an office clerk or x_24 is a poet. For all x_24, if x_24 were an office clerk, then x_24 is a cashier. Can we infer the following from them? Linda is playing tennis or Michael is happy.
 From the fact that for all x_24, if x_24 were an office clerk, then x_24 is a cashier, that for all x_24, if x_24 were a poet, then x_24 is a cashier, and that for all x_24, x_24 is an office clerk or x_24 is a poet we can infer that for all x_24, x_24 is a cashier. From the fact that for all x_24, x_24 is a cashier we can infer that Mary is a cashier. From the fact that Linda is playing tennis, and that Mary is a cashier we can infer that Linda is playing tennis and Mary is a cashier. From the fact that Linda is playing tennis and Mary is a cashier we can infer that Linda is playing tennis. Finally, from the fact that Linda is playing tennis we can infer that Linda is playing tennis or Michael is happy. Therefore, the answer is yes.