Consider the following premises. Michael is not playing a game. If it is overcast, then it is late. If it is late, then it is overcast. If it is overcast, then Michael is rich. For all x_17, if x_17 were rich, then x_17 is playing a game. Can we infer the following from them? It is late.
 From the fact that for all x_17, if x_17 were rich, then x_17 is playing a game we can infer that if Michael were rich, then Michael is playing a game. From the fact that if it is overcast, then Michael is rich, and that if Michael were rich, then Michael is playing a game we can infer that if it is overcast, then Michael is playing a game. From the fact that if it is overcast, then Michael is playing a game, and that Michael is not playing a game we can infer that it is not overcast. From the fact that if it is overcast, then it is late, and that if it is late, then it is overcast we can infer that it is overcast if and only if it is late. Finally, from the fact that it is overcast if and only if it is late, and that it is not overcast we can infer that it is not late, which contradicts that It is late. Therefore, the answer is no.