Sherri has visited Corning, Elaine has visited Everett, Brandy has visited Port Washington, Verna has visited Charles City, Norma has visited Buffalo, Loretta has visited Northampton, Marsha has visited Naples, Clara has visited Evanston, Lola has visited Barbourville, Christy has visited Waukesha, Melanie has visited Silverton
Verna didn't visit Charles City
This example is not_contradiction.