premise: Rosa has only visited Lenox, Glendale, Biddeford, Batavia, Carlinville, Martinsville, Jackson, Castine, Mission, Jasper, Pinehurst, Clifton, Renton, New Castle, El Dorado, Cairo, Waco, Dodge City, Franklin and Fairmont
hypothesis: Rosa didn't visit Fairmont