premise: Miguel has not visited Prescott, Darryl has not visited Pagosa Springs, Sidney has visited McPherson and if Darryl has not visited Pagosa Springs then Russell has visited Augusta
hypothesis: Russell has not visited Augusta