premise: Peter has not visited Hazleton, Travis has visited Fort Collins, Nelson has not visited Greenville and if Nelson has not visited Greenville then Joel has visited Tarpon Springs
hypothesis: Joel has not visited Tarpon Springs