the fact that there exists something such that the fact that it is not a aircrewman and/or it does blubber is not true does not hold.
sent1: the fact that the construction is not a cultivar or is a aircrewman or both is wrong if the BASIC is genial. sent2: if the BASIC is literal the fact that the construction is not a cultivar and/or it is a kind of a aircrewman is incorrect. sent3: the BASIC is an anagram. sent4: if the fact that the construction is genial is not incorrect the fact that the BASIC is a kind of a aircrewman hold. sent5: the construction is a kind of literal thing that is a cultivar. sent6: the fipple is a kind of a posturer and it intensifies Frisch. sent7: there exists something such that it is not a aircrewman and/or it does blubber. sent8: something is literal. sent9: there exists something such that it is not a blubber. sent10: there exists something such that that it is aphetic and/or a Madison is wrong. sent11: if the construction is a blubber then the BASIC is genial. sent12: there is something such that that it is a aircrewman or does blubber or both is incorrect. sent13: if the construction is genial that the BASIC is not a aircrewman or it is a kind of a blubber or both is not correct. sent14: a cultivar is not non-genial. sent15: there exists something such that it is not literal.
sent5 -> int1: the construction is a cultivar.; sent14 -> int2: if the construction is a cultivar then it is genial.; int1 & int2 -> int3: the construction is genial.; int3 & sent13 -> int4: the fact that the BASIC is not a aircrewman and/or it is a blubber does not hold.; int4 -> hypothesis;
$hypothesis$ = the fact that there exists something such that the fact that it is not a aircrewman and/or it does blubber is not true does not hold. ; $context$ = sent1: the fact that the construction is not a cultivar or is a aircrewman or both is wrong if the BASIC is genial. sent2: if the BASIC is literal the fact that the construction is not a cultivar and/or it is a kind of a aircrewman is incorrect. sent3: the BASIC is an anagram. sent4: if the fact that the construction is genial is not incorrect the fact that the BASIC is a kind of a aircrewman hold. sent5: the construction is a kind of literal thing that is a cultivar. sent6: the fipple is a kind of a posturer and it intensifies Frisch. sent7: there exists something such that it is not a aircrewman and/or it does blubber. sent8: something is literal. sent9: there exists something such that it is not a blubber. sent10: there exists something such that that it is aphetic and/or a Madison is wrong. sent11: if the construction is a blubber then the BASIC is genial. sent12: there is something such that that it is a aircrewman or does blubber or both is incorrect. sent13: if the construction is genial that the BASIC is not a aircrewman or it is a kind of a blubber or both is not correct. sent14: a cultivar is not non-genial. sent15: there exists something such that it is not literal. ; $proof$ = 
sent5 -> int1: the construction is a cultivar.; sent14 -> int2: if the construction is a cultivar then it is genial.; int1 & int2 -> int3: the construction is genial.; int3 & sent13 -> int4: the fact that the BASIC is not a aircrewman and/or it is a blubber does not hold.; int4 -> hypothesis; __DISPROVED__