that the computerization does not occur if that the prawning happens is not wrong is false.
sent1: the computerization happens if the archdiocesanness happens and the prawn happens. sent2: the fact that the senatorialness does not occur is true. sent3: if the rejuvenating occurs the numbering ballcock does not occur. sent4: that the computerization occurs is prevented by that the archdiocesanness and the prawn happens. sent5: the cryocautery occurs if the antimagneticness happens. sent6: the archdiocesanness happens. sent7: the pooling ascendant occurs. sent8: the fact that the marbling mangosteen occurs hold. sent9: if the lens happens then the restlessness happens. sent10: the osseousness is prevented by that the neoplasticness happens. sent11: that the slinking militiaman occurs is not false if the communications occurs. sent12: the communications happens. sent13: the fact that the masking happens is right. sent14: the marbling illiberality does not occur. sent15: the alterableness happens. sent16: the acceptiveness occurs. sent17: the defiance prevents that the viralness occurs. sent18: if the apophaticness happens and the heterocercalness occurs then the territoriality does not occur. sent19: if the alterableness and the ligating occurs the numbering circuitry does not occur. sent20: the slinking rat does not occur if the hotness occurs.
void -> assump1: Let's assume that the prawn occurs.; sent6 & assump1 -> int1: the archdiocesanness happens and the prawning happens.; sent4 & int1 -> int2: the computerization does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the computerization does not occur if that the prawning happens is not wrong is false. ; $context$ = sent1: the computerization happens if the archdiocesanness happens and the prawn happens. sent2: the fact that the senatorialness does not occur is true. sent3: if the rejuvenating occurs the numbering ballcock does not occur. sent4: that the computerization occurs is prevented by that the archdiocesanness and the prawn happens. sent5: the cryocautery occurs if the antimagneticness happens. sent6: the archdiocesanness happens. sent7: the pooling ascendant occurs. sent8: the fact that the marbling mangosteen occurs hold. sent9: if the lens happens then the restlessness happens. sent10: the osseousness is prevented by that the neoplasticness happens. sent11: that the slinking militiaman occurs is not false if the communications occurs. sent12: the communications happens. sent13: the fact that the masking happens is right. sent14: the marbling illiberality does not occur. sent15: the alterableness happens. sent16: the acceptiveness occurs. sent17: the defiance prevents that the viralness occurs. sent18: if the apophaticness happens and the heterocercalness occurs then the territoriality does not occur. sent19: if the alterableness and the ligating occurs the numbering circuitry does not occur. sent20: the slinking rat does not occur if the hotness occurs. ; $proof$ = 
void -> assump1: Let's assume that the prawn occurs.; sent6 & assump1 -> int1: the archdiocesanness happens and the prawning happens.; sent4 & int1 -> int2: the computerization does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__