With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Although the details of the documents on Mohammed 's computer may ( or may not ) point to possible difficulties in aerial dispersal , they are fully consistent with the product used in the anthrax mailings .
text_B: The using did not happen
not-entailed.