premise: Everyone has visited Red Cloud, Lewisburg, Salem, Saint George, Grand Junction, Sharon, Claremont, Atmore, Shelbyville, Yonkers, Crawfordsville, Levittown, San Jose, Truro, Yorba Linda, East Haven, Spring Green, Keyser and Orange
hypothesis: Genevieve didn't visit Tyler