the fact that the header and the non-Jacobinicness happens does not hold.
sent1: the Frenching twang happens. sent2: if the fact that both the header and the non-Jacobinicness happens does not hold then the Frenching twang does not occur. sent3: the Rwandan does not occur if the fact that the proposal does not occur but the Frenching twang happens is not correct. sent4: that the diapedesis does not occur is prevented by that the cash-and-carriness happens. sent5: the snicking Perutz and the diapedesis happens if the cash-and-carriness does not occur. sent6: that the header and the non-Jacobinicness occurs is false if the fact that the proposal does not occur hold. sent7: the non-cash-and-carriness is triggered by that not the radiography but the affusion occurs. sent8: that the proposal does not occur and the Frenching twang occurs is incorrect if the snicking Perutz occurs. sent9: if the diapedesis happens then the fact that the snicking Perutz does not occur and the Frenching twang does not occur is wrong.
void -> assump1: Let's assume that that the header and the non-Jacobinicness happens does not hold.; sent2 & assump1 -> int1: the Frenching twang does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the Rwandanness does not occur.
$hypothesis$ = the fact that the header and the non-Jacobinicness happens does not hold. ; $context$ = sent1: the Frenching twang happens. sent2: if the fact that both the header and the non-Jacobinicness happens does not hold then the Frenching twang does not occur. sent3: the Rwandan does not occur if the fact that the proposal does not occur but the Frenching twang happens is not correct. sent4: that the diapedesis does not occur is prevented by that the cash-and-carriness happens. sent5: the snicking Perutz and the diapedesis happens if the cash-and-carriness does not occur. sent6: that the header and the non-Jacobinicness occurs is false if the fact that the proposal does not occur hold. sent7: the non-cash-and-carriness is triggered by that not the radiography but the affusion occurs. sent8: that the proposal does not occur and the Frenching twang occurs is incorrect if the snicking Perutz occurs. sent9: if the diapedesis happens then the fact that the snicking Perutz does not occur and the Frenching twang does not occur is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the header and the non-Jacobinicness happens does not hold.; sent2 & assump1 -> int1: the Frenching twang does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __DISPROVED__