premise: Guy has not visited Missoula, Neil has visited Charleston, John has not visited Cripple Creek and if John has not visited Cripple Creek then Shawn has not visited Pinehurst
hypothesis: Shawn has not visited Pinehurst