Ethel has visited Clinton, Alison has visited Pauls Valley, Shelley has visited Hamden, Peggy has visited Norwich, Audrey has visited Montclair, Patsy has visited Tyler
Audrey didn't visit South Kingstown
This example is not_contradiction.