With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: If Larry comes to the office, Sara won't come. Larry came to the office.
text_B: Sara didn't come to the office.
entailment.