premise: Theresa has only visited Bristol, Duluth, Littleton, Buffalo, Orono, Leadville, Oklahoma City, Plymouth, Cranford, Lincoln, Beaverton, Tarpon Springs, Milford, Price, Middletown, West Haven and North Adams
hypothesis: Lois didn't visit Tarpon Springs