premise: Martin has not visited Beaumont, Casey has not visited Stillwater, Reginald has visited Scarborough and if Martin has not visited Beaumont then Dwayne has visited Mishawaka
hypothesis: Dwayne has not visited Mishawaka