premise: Kristy, Holly, Diana, Teresa, Martha, Joann, Myrtle, Nicole, Katherine, Sarah, Irma, Claire, Nora, Christine, Lindsey, Esther, Josephine and Alicia have only visited Cheyenne
hypothesis: Diana didn't visit Lancaster