premise: Corey has not visited Durham, Mathew has not visited Newport News, Wesley has visited Huron and if Mathew has not visited Newport News then Chester has visited Waterloo
hypothesis: Chester has not visited Waterloo