Kelly has visited Sun Valley, Amy has visited Williamson, Stella has visited Champaign, Joann has visited Parkersburg, Ashley has visited Torrington, Brittany has visited Oskaloosa, Kristin has visited Danville
Kelly didn't visit Detroit
This example is contradiction.