premise: Tracy, Monique, Melanie, Leah, Myrtle, Juana, Edna, Arlene, Delores, Debbie, Nicole, Kim, Mamie, Olga, Lindsey, Wendy, Shirley and Audrey have only visited West Hartford
hypothesis: Olga didn't visit West Hartford