Miriam has visited Ann Arbor, Tonya has visited Oxford, Agnes has visited Marysville, Juana has visited Ozark, Lynda has visited Baraboo, Megan has visited Lake City
Lynda didn't visit Exeter
This example is not_contradiction.