With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: The game was originally designed and produced by WizKids, but was discontinued in November 2008 when WizKids owner Topps shut down their HeroClix line.
text_B: The game was originally designed and produced by WizKids, but was discontinued in November 2009 when WizKids owner Topps shut down their HeroClix line.
contradiction.