With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Smith arrived in Paris on the 5th of May, 1995. Today is the 15th of May, 1995. She is still in Paris.
text_B: Smith was in Paris on the 7th of May, 1995.
entailment.