premise: Lance has not visited Lynchburg, Micheal has not visited Yorba Linda, Charles has visited Galesburg and if Lance has not visited Lynchburg then Andy has not visited Saratoga Springs
hypothesis: Andy has not visited Saratoga Springs