premise: Dan has not visited Martinsville, Billy has not visited Tarpon Springs, Travis has visited Ilion and if Billy has not visited Tarpon Springs then Glenn has visited Harrisburg
hypothesis: Glenn has visited Harrisburg