if the shrieking does not occur that both the non-professorialness and the identifying deceptiveness occurs does not hold.
sent1: if the fact that the shrieking does not occur is not incorrect the professorialness does not occur and the identifying deceptiveness happens. sent2: that the non-planktonicness and the rabbetting readjustment occurs does not hold. sent3: the shrieking occurs if the professorialness occurs and the identifying deceptiveness occurs. sent4: if the shrieking occurs then that both the non-professorialness and the identifying deceptiveness happens is incorrect. sent5: the fact that the wearing trombone does not occur is correct. sent6: the fact that not the humming but the identicalness happens is incorrect. sent7: that the hum does not occur hold. sent8: the nonexemptness occurs if not the hairlessness but the corrections happens. sent9: the fact that the wearing divot does not occur but the identifying supertwister happens is wrong if the basiscopicness does not occur. sent10: the professorialness does not occur. sent11: that the non-basidiomycetousness and the permeableness happens does not hold. sent12: that that not the watering but the antic occurs hold is not right. sent13: the identifying technical does not occur. sent14: that both the professorialness and the identifying deceptiveness happens is not true if the shrieking does not occur. sent15: that both the non-professorialness and the identifying deceptiveness occurs triggers the shrieking. sent16: the identicalness occurs if not the dichroism but the astringing antibacterial happens. sent17: the fact that the Land does not occur but the Sadduceanness occurs is not incorrect. sent18: that not the aquaculture but the rabbetting scalpel occurs is wrong if the Dostoevskianness does not occur. sent19: if the planktonicness does not occur then that the retirement does not occur and the wearing sneak occurs does not hold.
void -> assump2: Let's assume that not the professorialness but the identifying deceptiveness happens.; sent15 & assump2 -> int1: the shrieking occurs.; void -> assump1: Let's assume that the shrieking does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that both the non-professorialness and the identifying deceptiveness happens is not correct.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the shrieking does not occur that both the non-professorialness and the identifying deceptiveness occurs does not hold. ; $context$ = sent1: if the fact that the shrieking does not occur is not incorrect the professorialness does not occur and the identifying deceptiveness happens. sent2: that the non-planktonicness and the rabbetting readjustment occurs does not hold. sent3: the shrieking occurs if the professorialness occurs and the identifying deceptiveness occurs. sent4: if the shrieking occurs then that both the non-professorialness and the identifying deceptiveness happens is incorrect. sent5: the fact that the wearing trombone does not occur is correct. sent6: the fact that not the humming but the identicalness happens is incorrect. sent7: that the hum does not occur hold. sent8: the nonexemptness occurs if not the hairlessness but the corrections happens. sent9: the fact that the wearing divot does not occur but the identifying supertwister happens is wrong if the basiscopicness does not occur. sent10: the professorialness does not occur. sent11: that the non-basidiomycetousness and the permeableness happens does not hold. sent12: that that not the watering but the antic occurs hold is not right. sent13: the identifying technical does not occur. sent14: that both the professorialness and the identifying deceptiveness happens is not true if the shrieking does not occur. sent15: that both the non-professorialness and the identifying deceptiveness occurs triggers the shrieking. sent16: the identicalness occurs if not the dichroism but the astringing antibacterial happens. sent17: the fact that the Land does not occur but the Sadduceanness occurs is not incorrect. sent18: that not the aquaculture but the rabbetting scalpel occurs is wrong if the Dostoevskianness does not occur. sent19: if the planktonicness does not occur then that the retirement does not occur and the wearing sneak occurs does not hold. ; $proof$ = 
void -> assump2: Let's assume that not the professorialness but the identifying deceptiveness happens.; sent15 & assump2 -> int1: the shrieking occurs.; void -> assump1: Let's assume that the shrieking does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that both the non-professorialness and the identifying deceptiveness happens is not correct.; [assump1] & int3 -> hypothesis; __PROVED__