With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: The channel had been removed from the satellite lineup on February 2, 2004 but was relaunched on January 2, 2008.
text_B: The channel was relaunched on January 2, 2008.
entailment.