premise: Edgar has not visited Lake Placid, Glenn has visited Reading, Andy has not visited Daytona Beach and if Andy has not visited Daytona Beach then Stephen has visited Lumberton
hypothesis: Stephen has not visited Lumberton