that if the indefeasibleness does not occur that the non-centeringness and the non-marliness occurs does not hold does not hold.
sent1: the fact that the inflating choanocyte but not the reunifying happens is false if the tease does not occur. sent2: if that the inflating choanocyte but not the reunifying occurs is wrong the earthquake happens. sent3: the teasing does not occur and the basidiomycetousness does not occur. sent4: if both the non-spiritlessness and the neurotoxicness happens the earthquake does not occur. sent5: both the non-centeringness and the non-marlyness occurs if the indefeasibleness does not occur. sent6: the sampling gob occurs. sent7: that the centeringness does not occur and the marliness does not occur is wrong if the neurotoxicness does not occur. sent8: if the reunifying happens then the earthquake occurs. sent9: the spiritlessness is prevented by that both the sampling gob and the non-indefeasibleness happens.
void -> assump1: Let's assume that the indefeasibleness does not occur.; sent6 & assump1 -> int1: the sampling gob and the defeasibleness happens.; int1 & sent9 -> int2: the spiritlessness does not occur.; void -> assump2: Let's assume that the neurotoxicness occurs.; int2 & assump2 -> int3: the non-spiritlessness and the neurotoxicness happens.; int3 & sent4 -> int4: the earthquake does not occur.; sent3 -> int5: the tease does not occur.; sent1 & int5 -> int6: that the inflating choanocyte happens and the reunifying does not occur is not true.; sent2 & int6 -> int7: the earthquake happens.; int4 & int7 -> int8: this is contradiction.; [assump2] & int8 -> int9: the neurotoxicness does not occur.; int9 & sent7 -> int10: that the non-centeringness and the non-marliness happens is false.; [assump1] & int10 -> hypothesis;
$hypothesis$ = that if the indefeasibleness does not occur that the non-centeringness and the non-marliness occurs does not hold does not hold. ; $context$ = sent1: the fact that the inflating choanocyte but not the reunifying happens is false if the tease does not occur. sent2: if that the inflating choanocyte but not the reunifying occurs is wrong the earthquake happens. sent3: the teasing does not occur and the basidiomycetousness does not occur. sent4: if both the non-spiritlessness and the neurotoxicness happens the earthquake does not occur. sent5: both the non-centeringness and the non-marlyness occurs if the indefeasibleness does not occur. sent6: the sampling gob occurs. sent7: that the centeringness does not occur and the marliness does not occur is wrong if the neurotoxicness does not occur. sent8: if the reunifying happens then the earthquake occurs. sent9: the spiritlessness is prevented by that both the sampling gob and the non-indefeasibleness happens. ; $proof$ = 
void -> assump1: Let's assume that the indefeasibleness does not occur.; sent6 & assump1 -> int1: the sampling gob and the defeasibleness happens.; int1 & sent9 -> int2: the spiritlessness does not occur.; void -> assump2: Let's assume that the neurotoxicness occurs.; int2 & assump2 -> int3: the non-spiritlessness and the neurotoxicness happens.; int3 & sent4 -> int4: the earthquake does not occur.; sent3 -> int5: the tease does not occur.; sent1 & int5 -> int6: that the inflating choanocyte happens and the reunifying does not occur is not true.; sent2 & int6 -> int7: the earthquake happens.; int4 & int7 -> int8: this is contradiction.; [assump2] & int8 -> int9: the neurotoxicness does not occur.; int9 & sent7 -> int10: that the non-centeringness and the non-marliness happens is false.; [assump1] & int10 -> hypothesis; __DISPROVED__