the exchange does not occur.
sent1: if the Georgian happens that both the non-sorrowfulness and the non-legitimateness occurs is not true. sent2: the spillover does not occur. sent3: if the propping labeled happens then the spillover but not the sorrowfulness happens. sent4: that that the sorrowfulness and the non-legitimateness happens does not hold hold. sent5: that the sorrowfulness but not the legitimating occurs does not hold if the Georgianness happens. sent6: the sorrowfulness does not occur. sent7: the decentness happens if that the exchanging occurs hold. sent8: that the Georgian happens is brought about by that the decentness occurs. sent9: the non-sorrowfulness and the non-legitimateness happens if the spillover does not occur. sent10: the sorrowfulness does not occur if the spillover does not occur.
void -> assump1: Let's assume that the exchanging occurs.; sent7 & assump1 -> int1: the decentness occurs.; int1 & sent8 -> int2: the Georgianness happens.; int2 & sent1 -> int3: the fact that that both the non-sorrowfulness and the illegitimateness occurs is right is incorrect.; sent9 & sent2 -> int4: the sorrowfulness does not occur and the legitimateness does not occur.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the nasopharyngealness occurs.
$hypothesis$ = the exchange does not occur. ; $context$ = sent1: if the Georgian happens that both the non-sorrowfulness and the non-legitimateness occurs is not true. sent2: the spillover does not occur. sent3: if the propping labeled happens then the spillover but not the sorrowfulness happens. sent4: that that the sorrowfulness and the non-legitimateness happens does not hold hold. sent5: that the sorrowfulness but not the legitimating occurs does not hold if the Georgianness happens. sent6: the sorrowfulness does not occur. sent7: the decentness happens if that the exchanging occurs hold. sent8: that the Georgian happens is brought about by that the decentness occurs. sent9: the non-sorrowfulness and the non-legitimateness happens if the spillover does not occur. sent10: the sorrowfulness does not occur if the spillover does not occur. ; $proof$ = 
void -> assump1: Let's assume that the exchanging occurs.; sent7 & assump1 -> int1: the decentness occurs.; int1 & sent8 -> int2: the Georgianness happens.; int2 & sent1 -> int3: the fact that that both the non-sorrowfulness and the illegitimateness occurs is right is incorrect.; sent9 & sent2 -> int4: the sorrowfulness does not occur and the legitimateness does not occur.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__