With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Havanna heard that a miss by an inch is a miss by a mile
text_B: Havanna did not hear a pun
entailed.