that that the size is cataphatic thing that does not tweedle BMDO does not hold is not false.
sent1: the allspice does not splutter digitoxin. sent2: the size is cataphatic. sent3: if that the allspice is not a Zostera and it is not broadband is incorrect the launderette is not a kind of a shelduck. sent4: that the allspice is not a Zostera and it is not broadband does not hold if there exists something such that the fact that it is a kind of a roadbook is not incorrect. sent5: if that the allspice is not a Zostera and does not tweedle BMDO does not hold that the size is not cataphatic is correct. sent6: that the poison is not broadband hold. sent7: that the size is non-broadband thing that is not non-cataphatic is wrong. sent8: the size is a kind of cataphatic thing that does not tweedle BMDO if the launderette is not a kind of a shelduck. sent9: there is something such that it is a roadbook.
sent9 & sent4 -> int1: that the allspice is not a Zostera and it is not broadband is not right.; sent3 & int1 -> int2: the launderette is not a shelduck.; sent8 & int2 -> hypothesis;
$hypothesis$ = that that the size is cataphatic thing that does not tweedle BMDO does not hold is not false. ; $context$ = sent1: the allspice does not splutter digitoxin. sent2: the size is cataphatic. sent3: if that the allspice is not a Zostera and it is not broadband is incorrect the launderette is not a kind of a shelduck. sent4: that the allspice is not a Zostera and it is not broadband does not hold if there exists something such that the fact that it is a kind of a roadbook is not incorrect. sent5: if that the allspice is not a Zostera and does not tweedle BMDO does not hold that the size is not cataphatic is correct. sent6: that the poison is not broadband hold. sent7: that the size is non-broadband thing that is not non-cataphatic is wrong. sent8: the size is a kind of cataphatic thing that does not tweedle BMDO if the launderette is not a kind of a shelduck. sent9: there is something such that it is a roadbook. ; $proof$ = 
sent9 & sent4 -> int1: that the allspice is not a Zostera and it is not broadband is not right.; sent3 & int1 -> int2: the launderette is not a shelduck.; sent8 & int2 -> hypothesis; __DISPROVED__