premise: Each year for the next three years, Dynamic Motors will assemble four new automobile models—the Volante, the Whisper, the Xavier, and the Ziggurat—in exactly five of its factories—F, G, H, I, and K. Each factory will assemble exactly one model in each year. Because of contractual obligations Dynamic will assemble all four models each year according to the following constraints: No model is manufactured in the same factory in consecutive years. Neither Volantes nor Whispers are assembled in any factory in which Xaviers were assembled the previous year. Neither Volantes nor Xaviers are assembled in any factory in which Ziggurats were assembled the previous year. In any year, only one factory assembles Zigurats. If in the second year Ziggurats are assembled in F, which one of the following must be true?
hypothesis: Xaviers are assembled in F in the first year.