premise: Kevin has not visited Wahpeton, Vernon has visited Spanish Fork, Claude has not visited Greenville and if Claude has not visited Greenville then Maurice has visited Galena
hypothesis: Maurice has not visited Galena