premise: 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 mannequin 2 wears the red jacket, then mannequin 1 must wear the
hypothesis: yellow skirt