With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Rex heard that the soprano was very optimistic and always left her friends on a high note
text_B: Rex heard a pun
entailed.