there is something such that the fact that the fact that it does tighten and stales portfolio is not false is false.
sent1: the fact that the caroler does reign tetrahydrocannabinol but it is not extralinguistic does not hold. sent2: something is both not a skysail and not a major if it smashes Bierce. sent3: something is not extralinguistic if the fact that it does not smash Bierce and does not major does not hold. sent4: that the collar is extralinguistic and it tightens does not hold. sent5: there exists something such that it is a ballroom. sent6: the fact that the flourish does not smash Bierce and it is not acentric is wrong. sent7: The Bierce does smash calla. sent8: the calla does smash Bierce. sent9: if the calla is not extralinguistic then the caroler does not reign tetrahydrocannabinol.
void -> assump1: Let's assume that the calla does not smash Bierce and it does not major.; assump1 -> int1: the fact that the calla does not smash Bierce is correct.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the calla does not smash Bierce and is not major is wrong.; sent3 -> int4: if that that the calla does not smash Bierce and it does not major is wrong hold it is not extralinguistic.; int3 & int4 -> int5: the calla is not extralinguistic.; int5 & sent9 -> int6: that the caroler does not reign tetrahydrocannabinol is not false.; int6 -> int7: something does not reign tetrahydrocannabinol.;
the caroler is not a kind of a skysail and it is not a major.
sent2 -> int8: the caroler is not a kind of a skysail and it is non-major if it smashes Bierce.;
$hypothesis$ = there is something such that the fact that the fact that it does tighten and stales portfolio is not false is false. ; $context$ = sent1: the fact that the caroler does reign tetrahydrocannabinol but it is not extralinguistic does not hold. sent2: something is both not a skysail and not a major if it smashes Bierce. sent3: something is not extralinguistic if the fact that it does not smash Bierce and does not major does not hold. sent4: that the collar is extralinguistic and it tightens does not hold. sent5: there exists something such that it is a ballroom. sent6: the fact that the flourish does not smash Bierce and it is not acentric is wrong. sent7: The Bierce does smash calla. sent8: the calla does smash Bierce. sent9: if the calla is not extralinguistic then the caroler does not reign tetrahydrocannabinol. ; $proof$ = 
void -> assump1: Let's assume that the calla does not smash Bierce and it does not major.; assump1 -> int1: the fact that the calla does not smash Bierce is correct.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the calla does not smash Bierce and is not major is wrong.; sent3 -> int4: if that that the calla does not smash Bierce and it does not major is wrong hold it is not extralinguistic.; int3 & int4 -> int5: the calla is not extralinguistic.; int5 & sent9 -> int6: that the caroler does not reign tetrahydrocannabinol is not false.; int6 -> int7: something does not reign tetrahydrocannabinol.; __UNKNOWN__