With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: He was ordained priest 25 May 1755, but remained some years longer in the university to obtain his degree of Doctor of Divinity.
text_B: He was ordained priest 25 May 1755.
entailment.