premise: Andrew has not visited Pagosa Springs, Joseph has not visited Georgia, Vernon has visited Santa Barbara and if Joseph has visited Georgia then Norman has visited Waynesboro
hypothesis: Norman has not visited Waynesboro