Consider the following premises. For all x_13, x_13 is a bartender if and only if x_13 is happy. For all x_13, x_13 will play tennis or x_13 is a bartender. For all x, if x were happy, then x is cooking. For all x_13, if x_13 plays tennis, then x_13 is happy. Can we infer the following from them? Patricia is cooking.
 From the fact that for all x_13, x_13 is a bartender if and only if x_13 is happy we can infer that for all x_13, if x_13 were a bartender, then x_13 is happy. From the fact that for all x_13, if x_13 plays tennis, then x_13 is happy, that for all x_13, if x_13 were a bartender, then x_13 is happy, and that for all x_13, x_13 will play tennis or x_13 is a bartender we can infer that for all x_13, x_13 is happy. From the fact that for all x_13, x_13 is happy we can infer that Patricia is happy. From the fact that for all x, if x were happy, then x is cooking we can infer that if Patricia were happy, then Patricia is cooking. Finally, from the fact that if Patricia were happy, then Patricia is cooking, and that Patricia is happy we can infer that Patricia is cooking. Therefore, the answer is yes.