With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Horseshoe Resort, formerly Horseshoe Valley Ski Club, is a southern Ontario ski resort and four season vacation destination.
text_B: Horseshoe Resort, formerly Horseshoe Valley Ski Club, is a southern Ontario ski resort and seven season vacation destination.
contradiction.