Gloria has visited Niagara Falls, Coventry, Exeter, Tillamook, Truth or Consequences, Pocatello, Sunbury, Clinton, Warren, Farmington and Richland
Gloria didn't visit Lima
This example is contradiction.