premise: Zachary has not visited Payson, Mario has not visited Middletown, Leo has visited Dahlonega and if Zachary has not visited Payson then Alexander has not visited Lake Placid
hypothesis: Alexander has not visited Lake Placid