With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Lyle heard that better the devil you know than the devil you don t
text_B: Lyle heard a pun
not-entailed.