premise: Howard has not visited Nappanee, Andre has not visited Milbank, Clyde has visited Shelton and if Andre has not visited Milbank then Jerome has visited Pagosa Springs
hypothesis: Jerome has not visited Pagosa Springs