premise: Everyone has visited Lake Forest, Warren, Huntington, Vincennes, Weston, Pecos, Kearney, Port Gibson, Greeley, Danbury, Norristown, Oxford, Lakehurst, Largo, Ironwood, Mamaroneck, Sauk Centre and Chicopee
hypothesis: Cindy didn't visit Osceola