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