With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Carter heard that kill them all ! . . . . let god sort them out
text_B: Carter heard a pun
not-entailed.