premise: Gertrude has only visited Lake Oswego, Park City, Corpus Christi, Parma, Rotterdam, Lebanon, Chattanooga, Fort Collins, Louisville, Park Forest, Hickory, Breckenridge, Rhinelander and Burns
hypothesis: Lauren didn't visit Park City