premise: Chester has not visited Gallipolis, Shawn has not visited Oregon City, Carlos has visited Arkansas City and if Chester has not visited Gallipolis then Wade has visited Holyoke
hypothesis: Wade has not visited Holyoke