No widget factory is located in the Western Time Zone. Some widget factories are employee owned and operated, and nearly all widget factories are publicly owned. Widget factories are the only businesses with more than one thousand employees. A privately-owned factory employs two thousand people. If the statements above are correct, which one of the following must be true? ['The factory is not a widget factory.', 'The factory is employee-owned and -operated.', 'The factory is located in the Central Time Zone.', 'The factory is a widget factory.']