Cathy has visited Milbank, Gaffney, Bristol, La Junta, Nanticoke, Douglas, Winnemucca, Oconto, Park City, Torrington, Alabama, Steubenville, Jackson and Sarasota
Cathy didn't visit Milbank
This example is not_contradiction.