With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Barbara is smarter than Ryan. Barbara is smarter than Dave.
text_B: Dave is smarter than Ryan.
neutral.