With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: It was formed when 6th AG liberated southern and northern Alsace and adjacent eastern Lorraine, but could not clear central Alsace.
text_B: It was formed when 6th AG could not clear central Alsace.
entailment.