With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: After three years at Dover, he became manager at Gillingham for the second time, but his contract was terminated at the end of the 2011–12 season.
text_B: After three years at Dover, he became manager at Gillingham for the second time, but his contract was terminated at the end of the 2011–13 season.
contradiction.