Leah has visited Andover, Doris has visited Ukiah, Nina has visited Middlebury, Phyllis has visited Oswego, Joy has visited Bisbee, Dora has visited Park City
Leah didn't visit Adams
This example is not_contradiction.