With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Joe, Henry, Steven, Kathryn and Diana are from Germany, Haiti, Hungary, China and Laos respectively.
text_B: Henry is from Hungary.
contradiction.