With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: During World War II, he was a five-star general in the United States Army and served as Supreme Commander of the Allied Expeditionary Forces in Europe.
text_B: During World War II, he was a five-star general in the United States Army and served as Supreme Commander of the Allied Expeditionary Forces in Illinois.
contradiction.