Violet, Colleen, Maxine, Shelly, Lorraine, Danielle, Misty, Vicki, Fannie, Nicole, Katrina, Clara, Doris, Eleanor and Theresa have visited Wisconsin
Nicole didn't visit Brigham City
This example is not_contradiction.