Two mannequins -- 1 and 2 -- will be dressed for display in outfits chosen from ten articles of clothing.
Each article is in exactly one of three colors: navy, red, or yellow. There are three hats -- one in each color;
three jackets -- one in each color; three skirts -- one in each color; and one red tie. Each mannequin wears
exactly one of the hats, one of the jackets, and one of the skirts. Furthermore, their outfits must meet the following restrictions:
Neither mannequin wears all three colors.
Each mannequin wears a hat in a different color from the jacket it wears.
Mannequin 2 wears the navy skirt.
Mannequin 1 wears the tie.
If all four of the red articles of clothing are included in the two mannequins' outfits, which one of the following must be true?