With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Found guilty of killing 22 villagers, he was originally given a life sentence, but served only three and a half years under house arrest.
text_B: Found guilty of killing 22 villagers, he was originally given a life sentence, but served only 2 and a half years under house arrest.
contradiction.