premise: Kristy has visited Mamaroneck, Greenville, Beverly, Franklin, Bradenton, Fergus Falls, Bloomington, Norton, Southampton, Fremont, Warren, Texas and Harpers Ferry
hypothesis: Kristy has visited less than fifteen places