Sheila has visited Greenville, Rhonda has visited Carson City, Katie has visited Oswego, Jo has visited Winston-Salem, Nancy has visited Harrodsburg, Dianne has visited Murray, Jan has visited Ozark, Amanda has visited Pontiac
Nancy didn't visit Harrodsburg
This example is contradiction.