Stacey has visited Columbia, San Fernando, Orange, Fort Lee, Vicksburg, Washington, Kelso, West Bridgewater, Findlay, Lincoln, Bremerton and Beaverton
Stacey didn't visit San Fernando
This example is not_contradiction.