the non-ordinaryness and the predation happens.
sent1: the gubernatorialness happens. sent2: if the incautiousness does not occur the mercurialness does not occur. sent3: the Tasmanianness does not occur if the fact that the allowing does not occur but the piquing happens is incorrect. sent4: if the fact that the Hemingwayesqueness does not occur and the Cromwellianness does not occur does not hold the sighing Tantalus does not occur. sent5: that not the sighing transactinide but the electiveness occurs is wrong. sent6: the myelicness happens. sent7: the flirt happens. sent8: the gubernatorialness does not occur if the fact that not the ordinary but the predation happens does not hold. sent9: both the sighing dairyman and the gubernatorialness happens if the expiation does not occur. sent10: the fact that both the non-ordinaryness and the predation occurs is incorrect if the sighing dairyman does not occur. sent11: the blandishment happens. sent12: that the farming happens is triggered by that the sighing dairyman occurs. sent13: both the non-antecedentness and the noninheritableness happens. sent14: if that not the craniotomy but the incineration happens is not true then the mercurialness does not occur. sent15: if that the travel does not occur but the Galilean occurs does not hold then the sighing bittercress does not occur. sent16: the stigmatic does not occur but the anginalness happens. sent17: if the fact that the exodus does not occur but the labialness happens does not hold the leveling harelip does not occur. sent18: not the photographing but the departing happens. sent19: that the expiation but not the gubernatorialness occurs does not hold if the directionalness does not occur. sent20: that the directionalness occurs and/or the squalling happens is brought about by that the sighing Tantalus does not occur.
void -> assump1: Let's assume that that not the ordinary but the predation occurs is false.; sent8 & assump1 -> int1: the gubernatorialness does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
that the ordinariness does not occur and the predation occurs does not hold.
$hypothesis$ = the non-ordinaryness and the predation happens. ; $context$ = sent1: the gubernatorialness happens. sent2: if the incautiousness does not occur the mercurialness does not occur. sent3: the Tasmanianness does not occur if the fact that the allowing does not occur but the piquing happens is incorrect. sent4: if the fact that the Hemingwayesqueness does not occur and the Cromwellianness does not occur does not hold the sighing Tantalus does not occur. sent5: that not the sighing transactinide but the electiveness occurs is wrong. sent6: the myelicness happens. sent7: the flirt happens. sent8: the gubernatorialness does not occur if the fact that not the ordinary but the predation happens does not hold. sent9: both the sighing dairyman and the gubernatorialness happens if the expiation does not occur. sent10: the fact that both the non-ordinaryness and the predation occurs is incorrect if the sighing dairyman does not occur. sent11: the blandishment happens. sent12: that the farming happens is triggered by that the sighing dairyman occurs. sent13: both the non-antecedentness and the noninheritableness happens. sent14: if that not the craniotomy but the incineration happens is not true then the mercurialness does not occur. sent15: if that the travel does not occur but the Galilean occurs does not hold then the sighing bittercress does not occur. sent16: the stigmatic does not occur but the anginalness happens. sent17: if the fact that the exodus does not occur but the labialness happens does not hold the leveling harelip does not occur. sent18: not the photographing but the departing happens. sent19: that the expiation but not the gubernatorialness occurs does not hold if the directionalness does not occur. sent20: that the directionalness occurs and/or the squalling happens is brought about by that the sighing Tantalus does not occur. ; $proof$ = 
void -> assump1: Let's assume that that not the ordinary but the predation occurs is false.; sent8 & assump1 -> int1: the gubernatorialness does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__