premise: Johnny has not visited Dahlonega, Ross has not visited Elizabethtown, Elmer has visited Carrollton and if Johnny has not visited Dahlonega then Daryl has not visited Glendive
hypothesis: Daryl has not visited Glendive