the fact that the tectonicness occurs hold if that the canonization occurs is not false.
sent1: the lockdown or the non-bicylindricalness or both occurs. sent2: the Essene occurs if that the moonlitness happens or the nudge does not occur or both is wrong. sent3: the gastrostomy occurs if the fact that the fact that the cathecticness happens and/or the icosahedralness occurs is not incorrect is wrong. sent4: if the agnostic happens then the sailing happens. sent5: the twitch does not occur. sent6: the turning happens and/or the matinee does not occur. sent7: the vexing amateurishness occurs and/or the tertianness happens. sent8: the moonlitness happens if that either the Essene occurs or the Franciscan happens or both is not right. sent9: the subliming occurs. sent10: if that that the barracking xylophonist or the vexing framework or both occurs is not incorrect is incorrect then the whizzing happens. sent11: if the fact that the Gabonese occurs and/or the angelus occurs is not correct the redistribution occurs. sent12: the worthlessness does not occur. sent13: the pleaching coelenterate occurs if the taming happens and/or the impenitentness does not occur. sent14: if that the working safranine occurs and/or the serving does not occur is incorrect the trembling happens. sent15: that the vexing plasma happens is not false if the exhaust happens and/or the spinning does not occur. sent16: the subliming occurs if the fact that the figure happens or the pleaching stipendiary does not occur or both is incorrect. sent17: if the fact that either the reply happens or the bolide does not occur or both does not hold then the tectonicness occurs. sent18: if the reply happens and/or the bolide does not occur then the canonization does not occur. sent19: the fact that the reversibleness does not occur is not false. sent20: the reply does not occur.
void -> assump2: Let's assume that that the canonization happens is correct.; void -> assump1: Let's assume that the reply occurs and/or the bolide does not occur.; sent18 & assump1 -> int1: the canonization does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the reply occurs and/or the bolide does not occur is incorrect.; sent17 & int3 -> int4: the tectonicness occurs.; [assump2] & int4 -> hypothesis;
$hypothesis$ = the fact that the tectonicness occurs hold if that the canonization occurs is not false. ; $context$ = sent1: the lockdown or the non-bicylindricalness or both occurs. sent2: the Essene occurs if that the moonlitness happens or the nudge does not occur or both is wrong. sent3: the gastrostomy occurs if the fact that the fact that the cathecticness happens and/or the icosahedralness occurs is not incorrect is wrong. sent4: if the agnostic happens then the sailing happens. sent5: the twitch does not occur. sent6: the turning happens and/or the matinee does not occur. sent7: the vexing amateurishness occurs and/or the tertianness happens. sent8: the moonlitness happens if that either the Essene occurs or the Franciscan happens or both is not right. sent9: the subliming occurs. sent10: if that that the barracking xylophonist or the vexing framework or both occurs is not incorrect is incorrect then the whizzing happens. sent11: if the fact that the Gabonese occurs and/or the angelus occurs is not correct the redistribution occurs. sent12: the worthlessness does not occur. sent13: the pleaching coelenterate occurs if the taming happens and/or the impenitentness does not occur. sent14: if that the working safranine occurs and/or the serving does not occur is incorrect the trembling happens. sent15: that the vexing plasma happens is not false if the exhaust happens and/or the spinning does not occur. sent16: the subliming occurs if the fact that the figure happens or the pleaching stipendiary does not occur or both is incorrect. sent17: if the fact that either the reply happens or the bolide does not occur or both does not hold then the tectonicness occurs. sent18: if the reply happens and/or the bolide does not occur then the canonization does not occur. sent19: the fact that the reversibleness does not occur is not false. sent20: the reply does not occur. ; $proof$ = 
void -> assump2: Let's assume that that the canonization happens is correct.; void -> assump1: Let's assume that the reply occurs and/or the bolide does not occur.; sent18 & assump1 -> int1: the canonization does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the reply occurs and/or the bolide does not occur is incorrect.; sent17 & int3 -> int4: the tectonicness occurs.; [assump2] & int4 -> hypothesis; __PROVED__