the fact that the diagnosticness does not occur hold.
sent1: the Eucharisticness does not occur. sent2: that the refraining Toulon does not occur and the chertiness does not occur is incorrect. sent3: the fibrinousness does not occur and the refraining Toulon does not occur. sent4: the refraining butterflyfish does not occur. sent5: the activity does not occur. sent6: the outboard does not occur. sent7: the groundwork does not occur and the whoopee does not occur. sent8: if that the pogonip does not occur hold that the superficialness does not occur and the precession does not occur does not hold. sent9: the developing does not occur. sent10: the circularizing Tractarian does not occur. sent11: if the diagnosticness does not occur then that the visibleness does not occur and the circularizing Tractarian does not occur does not hold. sent12: if the photostating sesquipedality does not occur both the numbering and the unintelligibleness happens. sent13: that the aspersion does not occur and the bankruptcy does not occur is incorrect. sent14: the basalticness does not occur. sent15: the photostating sesquipedality does not occur if the aspersion happens and the circularizing outfitter happens. sent16: the pogonip happens. sent17: that the non-starlessness and the non-yeastyness happens is not correct if the photostating pluperfect does not occur. sent18: the visibleness does not occur. sent19: that the diagnosticness does not occur is caused by that the numbers occurs. sent20: that the circularizing Graz does not occur and the activity does not occur is false. sent21: the fact that the refraining pointillist does not occur and the clausalness does not occur does not hold if that the circularizing kilt occurs is false. sent22: the fact that the sass occurs hold.
void -> assump1: Let's assume that the diagnosticness does not occur.; sent11 & assump1 -> int1: that that the visibleness does not occur and the circularizing Tractarian does not occur is true is false.; sent18 & sent10 -> int2: the visibleness does not occur and the circularizing Tractarian does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the diagnosticness does not occur.
$hypothesis$ = the fact that the diagnosticness does not occur hold. ; $context$ = sent1: the Eucharisticness does not occur. sent2: that the refraining Toulon does not occur and the chertiness does not occur is incorrect. sent3: the fibrinousness does not occur and the refraining Toulon does not occur. sent4: the refraining butterflyfish does not occur. sent5: the activity does not occur. sent6: the outboard does not occur. sent7: the groundwork does not occur and the whoopee does not occur. sent8: if that the pogonip does not occur hold that the superficialness does not occur and the precession does not occur does not hold. sent9: the developing does not occur. sent10: the circularizing Tractarian does not occur. sent11: if the diagnosticness does not occur then that the visibleness does not occur and the circularizing Tractarian does not occur does not hold. sent12: if the photostating sesquipedality does not occur both the numbering and the unintelligibleness happens. sent13: that the aspersion does not occur and the bankruptcy does not occur is incorrect. sent14: the basalticness does not occur. sent15: the photostating sesquipedality does not occur if the aspersion happens and the circularizing outfitter happens. sent16: the pogonip happens. sent17: that the non-starlessness and the non-yeastyness happens is not correct if the photostating pluperfect does not occur. sent18: the visibleness does not occur. sent19: that the diagnosticness does not occur is caused by that the numbers occurs. sent20: that the circularizing Graz does not occur and the activity does not occur is false. sent21: the fact that the refraining pointillist does not occur and the clausalness does not occur does not hold if that the circularizing kilt occurs is false. sent22: the fact that the sass occurs hold. ; $proof$ = 
void -> assump1: Let's assume that the diagnosticness does not occur.; sent11 & assump1 -> int1: that that the visibleness does not occur and the circularizing Tractarian does not occur is true is false.; sent18 & sent10 -> int2: the visibleness does not occur and the circularizing Tractarian does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__