premise: Dwayne has not visited New Glarus, Willard has not visited Bradenton, Claude has visited Brookings and if Dwayne has visited New Glarus then Cory has visited Brigham City
hypothesis: Cory has not visited Brigham City