Tiffany has visited Colorado Springs, Beulah has visited Dickinson, Georgia has visited Prescott, Eva has visited Eagle Pass, Elizabeth has visited Stratford
Tiffany didn't visit Colorado Springs
This example is not_contradiction.