Velma has visited Grinnell, Danielle has visited Salem, Doris has visited Red Bluff, Elaine has visited Houston, Maryann has visited Arlington, Jane has visited Boone, Alma has visited Winona, Melody has visited Smyrna, Amy has visited Oregon
Velma didn't visit Grinnell
This example is not_contradiction.