premise: Curtis has not visited Talladega, Glen has visited Cedar Falls, Manuel has visited Tarpon Springs and if Manuel has visited Tarpon Springs then Cory has visited Newburyport
hypothesis: Cory has not visited Newburyport