Consider the following premises. Michael is happy. For all x_11, x_11 is a musician if and only if x_11 will drink water. Jennifer is not a musician. Can we infer the following from them? Jennifer is not drinking water and Michael is happy.
 From the fact that for all x_11, x_11 is a musician if and only if x_11 will drink water we can infer that Jennifer is a musician if and only if Jennifer is drinking water. From the fact that Jennifer is a musician if and only if Jennifer is drinking water, and that Jennifer is not a musician we can infer that Jennifer is not drinking water. Finally, from the fact that Jennifer is not drinking water, and that Michael is happy we can infer that Jennifer is not drinking water and Michael is happy. Therefore, the answer is yes.