With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Lorenzo heard that five brothers wanted to buy a horse , so they all had to pony up
text_B: Lorenzo heard a pun
entailed.