Leslie has visited Wyoming, Debra has visited Indio, Lillie has visited Elkhart, Mae has visited Perth Amboy, Katie has visited Stockton, Guadalupe has visited Jonesboro, Erica has visited Redmond
Guadalupe didn't visit Seattle
This example is not_contradiction.