if the alligatoring and the drinking occurs then the schooling Kali does not occur.
sent1: the rebelling happens. sent2: the alligatoring occurs. sent3: both the deserving Acinonyx and the upstaging occurs. sent4: that the schooling Kali does not occur is prevented by that the alligatoring and the drink occurs. sent5: either that the chokehold happens or that the deserving gallantry does not occur or both causes that the schooling Kali does not occur. sent6: that either the chokehold happens or the deserving gallantry does not occur or both is triggered by that the wallow does not occur. sent7: the soteriologicalness happens. sent8: that the schooling Kali occurs is not incorrect if either the chokehold occurs or the deserving gallantry does not occur or both. sent9: the marshal does not occur. sent10: the schooling Kali happens. sent11: the strangulating anticatalyst does not occur. sent12: if the petrifying and/or the non-rhetoricalness occurs the adrenocorticalness happens. sent13: if the deserving gallantry does not occur that the schooling Kali does not occur is not false. sent14: the chokehold occurs and/or the deserving gallantry happens. sent15: if the drinking occurs and the wallowing happens then that the deserving Acinonyx does not occur hold. sent16: if the wallowing does not occur the chokehold occurs or the deserving gallantry occurs or both.
void -> assump1: Let's assume that both the alligatoring and the drinking happens.; assump1 -> int1: that the drinking occurs hold.; void -> assump2: Let's assume that the fact that the wallow happens is not wrong.; int1 & assump2 -> int2: the drink happens and the wallow happens.; int2 & sent15 -> int3: the deserving Acinonyx does not occur.; sent3 -> int4: the deserving Acinonyx happens.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the wallowing does not occur.; int6 & sent6 -> int7: the chokehold happens or the deserving gallantry does not occur or both.; int7 & sent5 -> int8: the schooling Kali does not occur.; [assump1] & int8 -> hypothesis;
$hypothesis$ = if the alligatoring and the drinking occurs then the schooling Kali does not occur. ; $context$ = sent1: the rebelling happens. sent2: the alligatoring occurs. sent3: both the deserving Acinonyx and the upstaging occurs. sent4: that the schooling Kali does not occur is prevented by that the alligatoring and the drink occurs. sent5: either that the chokehold happens or that the deserving gallantry does not occur or both causes that the schooling Kali does not occur. sent6: that either the chokehold happens or the deserving gallantry does not occur or both is triggered by that the wallow does not occur. sent7: the soteriologicalness happens. sent8: that the schooling Kali occurs is not incorrect if either the chokehold occurs or the deserving gallantry does not occur or both. sent9: the marshal does not occur. sent10: the schooling Kali happens. sent11: the strangulating anticatalyst does not occur. sent12: if the petrifying and/or the non-rhetoricalness occurs the adrenocorticalness happens. sent13: if the deserving gallantry does not occur that the schooling Kali does not occur is not false. sent14: the chokehold occurs and/or the deserving gallantry happens. sent15: if the drinking occurs and the wallowing happens then that the deserving Acinonyx does not occur hold. sent16: if the wallowing does not occur the chokehold occurs or the deserving gallantry occurs or both. ; $proof$ = 
void -> assump1: Let's assume that both the alligatoring and the drinking happens.; assump1 -> int1: that the drinking occurs hold.; void -> assump2: Let's assume that the fact that the wallow happens is not wrong.; int1 & assump2 -> int2: the drink happens and the wallow happens.; int2 & sent15 -> int3: the deserving Acinonyx does not occur.; sent3 -> int4: the deserving Acinonyx happens.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the wallowing does not occur.; int6 & sent6 -> int7: the chokehold happens or the deserving gallantry does not occur or both.; int7 & sent5 -> int8: the schooling Kali does not occur.; [assump1] & int8 -> hypothesis; __PROVED__