premise: Glenn has not visited Salem, Clarence has visited Enterprise, Carlos has not visited Waterloo and if Carlos has not visited Waterloo then Wade has not visited Fayetteville
hypothesis: Wade has not visited Fayetteville