With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Titan heard that the inept mathematician couldn ' t count on his friends
text_B: Titan heard a pun
entailed.