Consider the following premises. It is not late. For all x_7, x_7 will cook if and only if x_7 is a server. If Michael cooks, then it is late. Can we infer the following from them? Michael is a server.
 From the fact that for all x_7, x_7 will cook if and only if x_7 is a server we can infer that Michael is cooking if and only if Michael is a server. From the fact that if Michael cooks, then it is late, and that it is not late we can infer that Michael is not cooking. Finally, from the fact that Michael is cooking if and only if Michael is a server, and that Michael is not cooking we can infer that Michael is not a server, which contradicts that Michael is a server. Therefore, the answer is no.