premise: Guadalupe, Lillie, Doris, Daisy, Dora, Kelly, Gertrude, Jamie, Juana, Helen, Rhonda, Beatrice, Margarita, Stacy, Josephine, Valerie, Terri, Jill and Kay have only visited Harrodsburg
hypothesis: Valerie didn't visit Spanish Fork