Bernice has visited Valparaiso, Lucille has visited San Simeon, Teresa has visited Ada, Lillian has visited Calais, Ada has visited Elmira, Diane has visited Summit, Lynn has visited Buckhannon
Ada didn't visit Breckenridge
This example is contradiction.