the low-tensionness happens.
sent1: the fact that the low-tensionness occurs and the julienning directory happens is not true if the Chinaman does not occur. sent2: that the bidding does not occur is prevented by the Chinaman. sent3: if that the defensive does not occur is not wrong that the nonresistance happens and the disguising amputation happens is incorrect. sent4: if the clapping Conopodium happens then the inclusiveness happens. sent5: if the fact that both the low-tensionness and the julienning directory occurs is not true then the julienning directory does not occur. sent6: that the disguising amputation does not occur triggers that the nonresistance occurs but the bidding does not occur. sent7: the nonresistance does not occur if the evanescing happens and the bidding occurs. sent8: the nonresistance occurs. sent9: the Chinaman happens if the low-tensionness occurs. sent10: the catecheticalness is triggered by the upmarketness. sent11: the externalness occurs and the disguising web happens. sent12: if the bidding does not occur then that not the evanescing but the Chinaman occurs is not correct. sent13: the evanescing happens. sent14: the mininess occurs.
void -> assump1: Let's assume that the low-tensionness occurs.; sent9 & assump1 -> int1: the Chinaman occurs.; int1 & sent2 -> int2: the bidding happens.; int2 & sent13 -> int3: the evanescing occurs and the bidding happens.; int3 & sent7 -> int4: the nonresistance does not occur.; int4 & sent8 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the julienning directory does not occur.
$hypothesis$ = the low-tensionness happens. ; $context$ = sent1: the fact that the low-tensionness occurs and the julienning directory happens is not true if the Chinaman does not occur. sent2: that the bidding does not occur is prevented by the Chinaman. sent3: if that the defensive does not occur is not wrong that the nonresistance happens and the disguising amputation happens is incorrect. sent4: if the clapping Conopodium happens then the inclusiveness happens. sent5: if the fact that both the low-tensionness and the julienning directory occurs is not true then the julienning directory does not occur. sent6: that the disguising amputation does not occur triggers that the nonresistance occurs but the bidding does not occur. sent7: the nonresistance does not occur if the evanescing happens and the bidding occurs. sent8: the nonresistance occurs. sent9: the Chinaman happens if the low-tensionness occurs. sent10: the catecheticalness is triggered by the upmarketness. sent11: the externalness occurs and the disguising web happens. sent12: if the bidding does not occur then that not the evanescing but the Chinaman occurs is not correct. sent13: the evanescing happens. sent14: the mininess occurs. ; $proof$ = 
void -> assump1: Let's assume that the low-tensionness occurs.; sent9 & assump1 -> int1: the Chinaman occurs.; int1 & sent2 -> int2: the bidding happens.; int2 & sent13 -> int3: the evanescing occurs and the bidding happens.; int3 & sent7 -> int4: the nonresistance does not occur.; int4 & sent8 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__