premise: Iris, Arlene, Lillian, Michelle, June, Stacy, Angie, Frances, Lynn, Annette, Tammy, Anna, Paula, Jodi, Julia, Faye, Shannon, Amanda, Claudia and Mattie have only visited Libertyville
hypothesis: Mattie didn't visit Libertyville