With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: A man sits in a restaurant drinking while his friend is in the bathroom.
text_B: A man sits in a restaurant drinking while his friend is in the courtroom.
contradiction.