the feather is not a numbers.
sent1: the slipstream is genuine and/or it is a dogsbody. sent2: if something is not astomatal then the feather is not a numbers. sent3: if something is not a mire it is not cross-cultural and it is not astomatal. sent4: if that that something is not a kind of a numbers and it is not unpleasant is not wrong is not right it does numbers. sent5: the fact that the slipstream is a kind of astomatal thing that is not cross-cultural is false if something is unpleasant. sent6: there exists something such that that it is acidotic and it does not collar Jerusalem does not hold. sent7: there is something such that that it is improvident and not a argy-bargy is not correct. sent8: the fact that the slipstream is cross-cultural and a numbers is incorrect. sent9: the fact that the slipstream is both a numbers and cross-cultural does not hold. sent10: the fact that the bevatron is not a kind of a numbers hold. sent11: the fact that something is not a numbers and it is pleasant is wrong if it is not astomatal. sent12: there exists something such that that it is both an entomology and stainable is not right. sent13: there exists something such that it is not pleasant. sent14: there exists something such that the fact that it is both astomatal and not a numbers hold.
sent13 & sent5 -> int1: that that the slipstream is both astomatal and not cross-cultural is not incorrect is not right.; int1 -> int2: there exists something such that that it is astomatal and not cross-cultural does not hold.;
the feather is a kind of a numbers.
sent4 -> int3: if the fact that the feather is not a numbers and is not unpleasant is incorrect it is a kind of a numbers.; sent11 -> int4: that the feather is not a kind of a numbers and it is not unpleasant is incorrect if it is not astomatal.; sent3 -> int5: the feather is not cross-cultural and it is not astomatal if it is not a mire.; sent1 -> int6: there is something such that it is genuine and/or it is a kind of a dogsbody.;
$hypothesis$ = the feather is not a numbers. ; $context$ = sent1: the slipstream is genuine and/or it is a dogsbody. sent2: if something is not astomatal then the feather is not a numbers. sent3: if something is not a mire it is not cross-cultural and it is not astomatal. sent4: if that that something is not a kind of a numbers and it is not unpleasant is not wrong is not right it does numbers. sent5: the fact that the slipstream is a kind of astomatal thing that is not cross-cultural is false if something is unpleasant. sent6: there exists something such that that it is acidotic and it does not collar Jerusalem does not hold. sent7: there is something such that that it is improvident and not a argy-bargy is not correct. sent8: the fact that the slipstream is cross-cultural and a numbers is incorrect. sent9: the fact that the slipstream is both a numbers and cross-cultural does not hold. sent10: the fact that the bevatron is not a kind of a numbers hold. sent11: the fact that something is not a numbers and it is pleasant is wrong if it is not astomatal. sent12: there exists something such that that it is both an entomology and stainable is not right. sent13: there exists something such that it is not pleasant. sent14: there exists something such that the fact that it is both astomatal and not a numbers hold. ; $proof$ = 
sent13 & sent5 -> int1: that that the slipstream is both astomatal and not cross-cultural is not incorrect is not right.; int1 -> int2: there exists something such that that it is astomatal and not cross-cultural does not hold.; __UNKNOWN__