the fact that the breakthrough does not occur is not false.
sent1: that the manacling candle does not occur but the manacling impropriety happens is wrong. sent2: if the Guyaneseness does not occur or the cyclicness does not occur or both then the breakthrough happens. sent3: if the specialisticness does not occur the steepening Pawnee does not occur. sent4: the breakthrough occurs if the Guyaneseness does not occur. sent5: the iridaceousness occurs. sent6: if that not the semiautobiographicalness but the makeup happens does not hold the inviting vice-regent occurs. sent7: the inviting Oklahoman occurs and/or the vivisection does not occur. sent8: that the manacling candle occurs but the ding-dong does not occur brings about the airworthyness. sent9: that the iridaceousness and the baccarat occurs is brought about by that the steepening Pawnee does not occur. sent10: if the fact that that the manacling candle does not occur but the manacling impropriety occurs is correct is incorrect the fact that the manacling candle happens hold. sent11: the fact that that the inviting vice-regent happens and/or the baccarat does not occur does not hold is not false if the iridaceousness occurs. sent12: either the penitent happens or the receding does not occur or both. sent13: that the unairworthiness does not occur results in that both the Guyaneseness and the non-cyclicness occurs. sent14: if the non-semiautobiographicalness and the makeup happens the cyclicness does not occur. sent15: if the Guyaneseness but not the cyclicness occurs then the inviting vice-regent does not occur.
void -> assump1: Let's assume that that both the non-semiautobiographicalness and the makeup happens is incorrect.; sent6 & assump1 -> int1: the inviting vice-regent happens.; int1 -> int2: the inviting vice-regent occurs or the baccarat does not occur or both.; sent11 & sent5 -> int3: the fact that the inviting vice-regent happens and/or the baccarat does not occur does not hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: not the semiautobiographicalness but the makeup occurs.; int5 & sent14 -> int6: the cyclicness does not occur.; int6 -> int7: the non-Guyaneseness and/or the noncyclicness happens.; int7 & sent2 -> hypothesis;
the breakthrough does not occur.
sent10 & sent1 -> int8: the manacling candle occurs.;
$hypothesis$ = the fact that the breakthrough does not occur is not false. ; $context$ = sent1: that the manacling candle does not occur but the manacling impropriety happens is wrong. sent2: if the Guyaneseness does not occur or the cyclicness does not occur or both then the breakthrough happens. sent3: if the specialisticness does not occur the steepening Pawnee does not occur. sent4: the breakthrough occurs if the Guyaneseness does not occur. sent5: the iridaceousness occurs. sent6: if that not the semiautobiographicalness but the makeup happens does not hold the inviting vice-regent occurs. sent7: the inviting Oklahoman occurs and/or the vivisection does not occur. sent8: that the manacling candle occurs but the ding-dong does not occur brings about the airworthyness. sent9: that the iridaceousness and the baccarat occurs is brought about by that the steepening Pawnee does not occur. sent10: if the fact that that the manacling candle does not occur but the manacling impropriety occurs is correct is incorrect the fact that the manacling candle happens hold. sent11: the fact that that the inviting vice-regent happens and/or the baccarat does not occur does not hold is not false if the iridaceousness occurs. sent12: either the penitent happens or the receding does not occur or both. sent13: that the unairworthiness does not occur results in that both the Guyaneseness and the non-cyclicness occurs. sent14: if the non-semiautobiographicalness and the makeup happens the cyclicness does not occur. sent15: if the Guyaneseness but not the cyclicness occurs then the inviting vice-regent does not occur. ; $proof$ = 
void -> assump1: Let's assume that that both the non-semiautobiographicalness and the makeup happens is incorrect.; sent6 & assump1 -> int1: the inviting vice-regent happens.; int1 -> int2: the inviting vice-regent occurs or the baccarat does not occur or both.; sent11 & sent5 -> int3: the fact that the inviting vice-regent happens and/or the baccarat does not occur does not hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: not the semiautobiographicalness but the makeup occurs.; int5 & sent14 -> int6: the cyclicness does not occur.; int6 -> int7: the non-Guyaneseness and/or the noncyclicness happens.; int7 & sent2 -> hypothesis; __DISPROVED__