premise: Everyone has visited Sanford, Waterford, Beaufort, Napa, Loveland, Union, Rochester, Iowa, Valley City, Florence, Nampa, Longmont, DeKalb, Albany, Collinsville, Lake Geneva and Aiken
hypothesis: That individual there did visit Napa