Consider the following premises. For all x_11, if x_11 goes running, then x_11 is happy. For all x_11, x_11 will drink water and x_11 is a writer. For all x_11, x_11 will go running or x_11 will cook. For all x_11, if x_11 cooks, then x_11 is happy. Can we infer the following from them? Michael is happy.
 From the fact that for all x_11, if x_11 goes running, then x_11 is happy, that for all x_11, if x_11 cooks, then x_11 is happy, and that for all x_11, x_11 will go running or x_11 will cook we can infer that for all x_11, x_11 is happy. From the fact that for all x_11, x_11 will drink water and x_11 is a writer we can infer that for all x_11, x_11 will drink water. From the fact that for all x_11, x_11 is happy, and that for all x_11, x_11 will drink water we can infer that for all x_11, x_11 is happy and x_11 will drink water. From the fact that for all x_11, x_11 is happy and x_11 will drink water we can infer that Michael is happy and Michael is drinking water. Finally, from the fact that Michael is happy and Michael is drinking water we can infer that Michael is happy. Therefore, the answer is yes.