Table No : T822

Green

for entailment,

Gray

for neutral and

Red

for contradiction

Columbus, Georgia was named after an explorer.

Columbus is the capital of Georgia.

Columbus, Georgia was founded in the second half of the nineteenth century.

Columbus is a city in Georgia named after Christopher Columbus.

The city of Columbus is one of 72 different cities in the United States named after Christopher Columbus.

The city of Columbus in Georgia was founded shortly after the Civil War began.

Columbus, Georgia was founded in the 19th century.

Columbus, Georgia is smaller than Muscogee county.

Columbus, Georgia was not named for Christopher.