Madeline has visited Decatur, Tammy has visited Painesville, Terry has visited Searcy, Eunice has visited Tacoma, Kay has visited Ecorse, Jessie has visited Lewes
Kay didn't visit Ishpeming
This example is contradiction.