All high-fat diets are diets high in cholesterol.
Some diets high in cholesterol are not healthy food programs.
Therefore, some healthy food programs are not high-fat diets.

Use Venn diagrams to determine whether the following standard-form categorical syllogisms are valid from the Boolean standpoint, valid from the Aristotelian standpoint, or invalid. Then, identify the mood and figure, and cross-check your answers with the tables of valid syllogisms found in Section 5.1.