With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Formally, Hermine and Peder Anker Wedel-Jarlsberg took over the property in 1930, but in reality, this happened around thirty years earlier.
text_B: Formally, Hermine and Peder Anker Wedel - Jarlsberg took over the property in 1930.
entailment.