With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: In a Hadith the Messenger of Allah explains that the souls of the martyrs are in the hearts of green birds that fly wherever they please in the Paradise .
text_B: The flying did not happen
not-entailed.