Everyone has visited Morristown, Tombstone, Harpers Ferry, Saratoga Springs, Southington, Kotzebue, Worcester, Van Buren, Connersville, Amsterdam, Deming, Duxbury, Needles, Nampa, Laurel and Birmingham
Yvette didn't visit Worcester
This example is not_contradiction.