With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Lucille heard that 1 + 2 = 3 ; therefore , 4 + 5 = 6
text_B: Lucille did not hear a pun
entailed.