the fact that the fact that the liveliness does not occur and the lettering does not occur is not right if the nonlinguisticness happens is not true.
sent1: the diffidentness does not occur if the pronouncing happens. sent2: if the patronaging avarice happens then that the intemperance but not the Anguillanness happens is false. sent3: that the dissolution occurs does not hold. sent4: if the volubleness happens then the dissolution does not occur and the combustibleness does not occur. sent5: the fact that the rationalizing happens and the raving does not occur is wrong if the undescriptiveness does not occur. sent6: the fact that the liveliness does not occur and the lettering does not occur does not hold if the volubleness does not occur. sent7: that the dissolution does not occur and the combustibleness does not occur prevents the nonlinguisticness.
void -> assump2: Let's assume that that the volubleness happens is not false.; sent4 & assump2 -> int1: the dissolution does not occur and the combustible does not occur.; int1 & sent7 -> int2: the nonlinguisticness does not occur.; void -> assump1: Let's assume that the nonlinguisticness occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the volubleness does not occur.; int4 & sent6 -> int5: the fact that the liveliness does not occur and the lettering does not occur is not correct.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the fact that the liveliness does not occur and the lettering does not occur is not right if the nonlinguisticness happens is not true. ; $context$ = sent1: the diffidentness does not occur if the pronouncing happens. sent2: if the patronaging avarice happens then that the intemperance but not the Anguillanness happens is false. sent3: that the dissolution occurs does not hold. sent4: if the volubleness happens then the dissolution does not occur and the combustibleness does not occur. sent5: the fact that the rationalizing happens and the raving does not occur is wrong if the undescriptiveness does not occur. sent6: the fact that the liveliness does not occur and the lettering does not occur does not hold if the volubleness does not occur. sent7: that the dissolution does not occur and the combustibleness does not occur prevents the nonlinguisticness. ; $proof$ = 
void -> assump2: Let's assume that that the volubleness happens is not false.; sent4 & assump2 -> int1: the dissolution does not occur and the combustible does not occur.; int1 & sent7 -> int2: the nonlinguisticness does not occur.; void -> assump1: Let's assume that the nonlinguisticness occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the volubleness does not occur.; int4 & sent6 -> int5: the fact that the liveliness does not occur and the lettering does not occur is not correct.; [assump1] & int5 -> hypothesis; __DISPROVED__