the fact that if the Voltarianness does not occur the photostating highwater but not the circularizing archdeacon happens is not correct.
sent1: the impatientness happens and the uplifting does not occur. sent2: if the photostating additive does not occur then the photostating highwater but not the circularizing archdeacon occurs. sent3: the Voltarianness happens if the photostating additive happens. sent4: that the contrivance does not occur causes that the Nicaraguan but not the refraining heartsease occurs. sent5: the fact that the nonconformist occurs is right. sent6: if the photostating additive does not occur the photostating highwater occurs. sent7: both the intervention and the refraining bearing happens if the disrespectfulness does not occur. sent8: the circularizing yarmulke happens if the fact that the one-off occurs is not incorrect. sent9: the capitulation does not occur. sent10: the photostating highwater occurs. sent11: the losslessness but not the siding occurs. sent12: both the infelicitousness and the undiplomaticness happens. sent13: the photostating highwater and the circularizing archdeacon happens. sent14: the photostating highwater happens if the Voltarianness does not occur. sent15: that the loopiness and the non-mercifulness occurs is triggered by that the impatientness does not occur. sent16: if the immunocompetentness does not occur both the lurch and the one-off occurs. sent17: the Moroccan but not the circularizing locator happens if the skip does not occur. sent18: the photostating highwater happens and the circularizing archdeacon happens if that the Voltarianness does not occur is not wrong.
void -> assump1: Let's assume that the photostating additive happens.; sent3 & assump1 -> int1: the Voltarianness happens.; void -> assump2: Let's assume that the Voltarianness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the photostating additive does not occur.; sent2 & int3 -> int4: the photostating highwater happens and the circularizing archdeacon does not occur.; [assump2] & int4 -> hypothesis;
$hypothesis$ = the fact that if the Voltarianness does not occur the photostating highwater but not the circularizing archdeacon happens is not correct. ; $context$ = sent1: the impatientness happens and the uplifting does not occur. sent2: if the photostating additive does not occur then the photostating highwater but not the circularizing archdeacon occurs. sent3: the Voltarianness happens if the photostating additive happens. sent4: that the contrivance does not occur causes that the Nicaraguan but not the refraining heartsease occurs. sent5: the fact that the nonconformist occurs is right. sent6: if the photostating additive does not occur the photostating highwater occurs. sent7: both the intervention and the refraining bearing happens if the disrespectfulness does not occur. sent8: the circularizing yarmulke happens if the fact that the one-off occurs is not incorrect. sent9: the capitulation does not occur. sent10: the photostating highwater occurs. sent11: the losslessness but not the siding occurs. sent12: both the infelicitousness and the undiplomaticness happens. sent13: the photostating highwater and the circularizing archdeacon happens. sent14: the photostating highwater happens if the Voltarianness does not occur. sent15: that the loopiness and the non-mercifulness occurs is triggered by that the impatientness does not occur. sent16: if the immunocompetentness does not occur both the lurch and the one-off occurs. sent17: the Moroccan but not the circularizing locator happens if the skip does not occur. sent18: the photostating highwater happens and the circularizing archdeacon happens if that the Voltarianness does not occur is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the photostating additive happens.; sent3 & assump1 -> int1: the Voltarianness happens.; void -> assump2: Let's assume that the Voltarianness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the photostating additive does not occur.; sent2 & int3 -> int4: the photostating highwater happens and the circularizing archdeacon does not occur.; [assump2] & int4 -> hypothesis; __DISPROVED__