premise: Neil has not visited Chicopee, Sean has not visited Emmitsburg, Thomas has visited Brockton and if Sean has not visited Emmitsburg then Nicholas has visited Woods Hole
hypothesis: Nicholas has not visited Woods Hole