With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: David is greater than Jonathan. David is greater than Alex.
text_B: Among Jonathan, David and Alex the greatest is David.
entailment.