Consider the following premises. It is cold. For all x_17, if x_17 plays squash, then x_17 is a doctor. It is not late. For all x_17, if x_17 were a doctor, then x_17 is playing squash. Elisabeth is a doctor if and only if it is late. Can we infer the following from them? Elisabeth is not playing squash and it is cold.
 From the fact that for all x_17, if x_17 were a doctor, then x_17 is playing squash, and that for all x_17, if x_17 plays squash, then x_17 is a doctor we can infer that for all x_17, x_17 is a doctor if and only if x_17 will play squash. From the fact that for all x_17, x_17 is a doctor if and only if x_17 will play squash we can infer that Elisabeth is a doctor if and only if Elisabeth is playing squash. From the fact that Elisabeth is a doctor if and only if it is late, and that it is not late we can infer that Elisabeth is not a doctor. From the fact that Elisabeth is a doctor if and only if Elisabeth is playing squash, and that Elisabeth is not a doctor we can infer that Elisabeth is not playing squash. Finally, from the fact that Elisabeth is not playing squash, and that it is cold we can infer that Elisabeth is not playing squash and it is cold. Therefore, the answer is yes.