With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Ixchel heard that in the presence of princes the cleverest jester is mute
text_B: Ixchel heard a pun
not-entailed.