premise: Everyone has visited Fernandina Beach, Winnemucca, Hanalei, Sault Sainte Marie, San Fernando, San Bernardino, Welch, Queens, Wickford, Arcadia, Houston, Spring Green, Bar Harbor, New Harmony and Elizabeth
hypothesis: Mattie didn't visit Janesville