the fact that if the navalness does not occur the freelancing occurs and the susurration happens is not right.
sent1: the susurration happens if the reimbursing Gordimer happens. sent2: the setting happens. sent3: that the argumentativeness happens hold. sent4: that the transport happens and the pleasantry occurs is triggered by that the reimbursing scrappiness does not occur. sent5: the freelancing and the susurration happens if that the navalness happens is true. sent6: if the thimblerig does not occur the setting happens. sent7: both the grandstanding and the loamlessness happens. sent8: if the atheroscleroticness happens then the crucialness happens. sent9: the non-freelanceness causes that the reimbursing Monaco happens and the navalness happens. sent10: the reimbursing Monaco happens if the freelanceness does not occur. sent11: the resale occurs. sent12: that the thermal occurs hold. sent13: if the fact that the resale happens is not false then the thimblerig does not occur. sent14: that the reimbursing Gordimer and the setting happens is not incorrect if the thimblerig does not occur. sent15: the reimbursing Monaco occurs.
void -> assump2: Let's assume that the freelancing does not occur.; sent9 & assump2 -> int1: the reimbursing Monaco happens and the navalness happens.; int1 -> int2: the navalness occurs.; void -> assump1: Let's assume that the fact that the navalness does not occur is correct.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the freelanceness occurs.; sent13 & sent11 -> int5: the thimblerig does not occur.; sent14 & int5 -> int6: the reimbursing Gordimer happens and the setting happens.; int6 -> int7: the reimbursing Gordimer occurs.; sent1 & int7 -> int8: the susurration occurs.; int4 & int8 -> int9: the fact that both the freelanceness and the susurration happens is not false.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the fact that if the navalness does not occur the freelancing occurs and the susurration happens is not right. ; $context$ = sent1: the susurration happens if the reimbursing Gordimer happens. sent2: the setting happens. sent3: that the argumentativeness happens hold. sent4: that the transport happens and the pleasantry occurs is triggered by that the reimbursing scrappiness does not occur. sent5: the freelancing and the susurration happens if that the navalness happens is true. sent6: if the thimblerig does not occur the setting happens. sent7: both the grandstanding and the loamlessness happens. sent8: if the atheroscleroticness happens then the crucialness happens. sent9: the non-freelanceness causes that the reimbursing Monaco happens and the navalness happens. sent10: the reimbursing Monaco happens if the freelanceness does not occur. sent11: the resale occurs. sent12: that the thermal occurs hold. sent13: if the fact that the resale happens is not false then the thimblerig does not occur. sent14: that the reimbursing Gordimer and the setting happens is not incorrect if the thimblerig does not occur. sent15: the reimbursing Monaco occurs. ; $proof$ = 
void -> assump2: Let's assume that the freelancing does not occur.; sent9 & assump2 -> int1: the reimbursing Monaco happens and the navalness happens.; int1 -> int2: the navalness occurs.; void -> assump1: Let's assume that the fact that the navalness does not occur is correct.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the freelanceness occurs.; sent13 & sent11 -> int5: the thimblerig does not occur.; sent14 & int5 -> int6: the reimbursing Gordimer happens and the setting happens.; int6 -> int7: the reimbursing Gordimer occurs.; sent1 & int7 -> int8: the susurration occurs.; int4 & int8 -> int9: the fact that both the freelanceness and the susurration happens is not false.; [assump1] & int9 -> hypothesis; __DISPROVED__