the fact that there is something such that it is not a kind of a Scot is false.
sent1: there exists something such that it does not dogmatize memento. sent2: that the kapok does not acquaint gamebag is not false if the fact that the Sax is not unwoven but arthromeric is not right. sent3: that something is not a Scot and it is not atheistic does not hold if it does not acquaint gamebag. sent4: the kapok is not a kind of a Scot if there exists something such that it does not dogmatize pheasant and is not a kind of a truffle. sent5: there exists something such that it dogmatizes memento. sent6: if that something is not a kind of a Scot and it is not atheistic is false it does not dogmatize laterite. sent7: the fact that something does not dogmatize pheasant and it is not a kind of a truffle hold.
sent7 & sent4 -> int1: the kapok is not a kind of a Scot.; int1 -> hypothesis;
there is something such that it does not dogmatize laterite.
sent6 -> int2: if the fact that the kapok is not a Scot and it is not atheistic is false it does not dogmatize laterite.; sent3 -> int3: the fact that the kapok is not a Scot and it is not atheistic is not true if it does not acquaint gamebag.;
$hypothesis$ = the fact that there is something such that it is not a kind of a Scot is false. ; $context$ = sent1: there exists something such that it does not dogmatize memento. sent2: that the kapok does not acquaint gamebag is not false if the fact that the Sax is not unwoven but arthromeric is not right. sent3: that something is not a Scot and it is not atheistic does not hold if it does not acquaint gamebag. sent4: the kapok is not a kind of a Scot if there exists something such that it does not dogmatize pheasant and is not a kind of a truffle. sent5: there exists something such that it dogmatizes memento. sent6: if that something is not a kind of a Scot and it is not atheistic is false it does not dogmatize laterite. sent7: the fact that something does not dogmatize pheasant and it is not a kind of a truffle hold. ; $proof$ = 
sent7 & sent4 -> int1: the kapok is not a kind of a Scot.; int1 -> hypothesis; __DISPROVED__