the sinking does not occur.
sent1: the denationalizing frontierswoman or that the conscripting apnea does not occur or both is brought about by the non-hemodynamicness. sent2: that the sinking does not occur results in that the oppression occurs. sent3: the mathematicalness occurs. sent4: the oppression happens. sent5: the oppression and/or the ahistoricalness happens. sent6: the fact that either the contending does not occur or the treatment occurs or both is not true. sent7: that either the leg does not occur or the rocking happens or both is not true if the conscripting apnea does not occur. sent8: that either the Wake does not occur or the denationalizing frontierswoman occurs or both is wrong if the unclearedness does not occur. sent9: that the non-Markovianness or the denationalizing comment or both happens is not true. sent10: the axialness happens. sent11: either the puttering does not occur or the southness occurs or both. sent12: if that the conscripting apnea does not occur is true then the fact that the unshockableness and the denationalizing frontierswoman happens is incorrect. sent13: that the unshockableness does not occur is true if the fact that both the unshockableness and the denationalizing frontierswoman happens is incorrect. sent14: the non-unshockableness leads to that either the shutness does not occur or the sinking does not occur or both. sent15: the shutness but not the sinking occurs if the unshockableness does not occur. sent16: that the ahistoricalness happens hold. sent17: that either the oppression does not occur or the ahistoricalness occurs or both is wrong if the sinking does not occur. sent18: the fact that the pursuance does not occur and/or the pinball occurs is incorrect. sent19: the beholding does not occur.
void -> assump1: Let's assume that that the sinking does not occur hold.; sent17 & assump1 -> int1: that the oppression does not occur and/or the ahistoricalness occurs is false.; sent16 -> int2: the oppression does not occur and/or the ahistoricalness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the sinking does not occur.
$hypothesis$ = the sinking does not occur. ; $context$ = sent1: the denationalizing frontierswoman or that the conscripting apnea does not occur or both is brought about by the non-hemodynamicness. sent2: that the sinking does not occur results in that the oppression occurs. sent3: the mathematicalness occurs. sent4: the oppression happens. sent5: the oppression and/or the ahistoricalness happens. sent6: the fact that either the contending does not occur or the treatment occurs or both is not true. sent7: that either the leg does not occur or the rocking happens or both is not true if the conscripting apnea does not occur. sent8: that either the Wake does not occur or the denationalizing frontierswoman occurs or both is wrong if the unclearedness does not occur. sent9: that the non-Markovianness or the denationalizing comment or both happens is not true. sent10: the axialness happens. sent11: either the puttering does not occur or the southness occurs or both. sent12: if that the conscripting apnea does not occur is true then the fact that the unshockableness and the denationalizing frontierswoman happens is incorrect. sent13: that the unshockableness does not occur is true if the fact that both the unshockableness and the denationalizing frontierswoman happens is incorrect. sent14: the non-unshockableness leads to that either the shutness does not occur or the sinking does not occur or both. sent15: the shutness but not the sinking occurs if the unshockableness does not occur. sent16: that the ahistoricalness happens hold. sent17: that either the oppression does not occur or the ahistoricalness occurs or both is wrong if the sinking does not occur. sent18: the fact that the pursuance does not occur and/or the pinball occurs is incorrect. sent19: the beholding does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the sinking does not occur hold.; sent17 & assump1 -> int1: that the oppression does not occur and/or the ahistoricalness occurs is false.; sent16 -> int2: the oppression does not occur and/or the ahistoricalness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__