premise: Dustin has not visited Belle Glade, Ian has visited Mount Holly, Gregory has visited Biddeford and if Ian has visited Mount Holly then Nicholas has visited Klamath Falls
hypothesis: Nicholas has not visited Klamath Falls