With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Tyson heard that man can not stir one inch without the push of heaven s finger
text_B: Tyson did not hear a pun
entailed.