that the fact that not the inspectorship but the cryocautery happens is incorrect if the actinometry happens is incorrect.
sent1: the depressurizing does not occur if either the actinometry or the vision or both occurs. sent2: the gastromy happens if the fact that the fact that the non-azoticness and/or the non-arteriolarness occurs is incorrect is not incorrect. sent3: that not the inspectorship but the cryocautery happens is incorrect if the gastromy happens. sent4: the azoticness happens. sent5: if the depressurizing does not occur the fact that the non-azoticness or the non-arteriolarness or both happens is wrong. sent6: if the gastromy happens then the fact that the fact that that the inspectorship happens and the cryocautery happens is not false is incorrect is not wrong.
void -> assump1: Let's assume that the actinometry happens.; assump1 -> int1: the actinometry happens and/or the vision happens.; sent1 & int1 -> int2: the depressurizing does not occur.; sent5 & int2 -> int3: that the non-azoticness or the non-arteriolarness or both happens is not right.; sent2 & int3 -> int4: the gastromy happens.; sent3 & int4 -> int5: the fact that the inspectorship does not occur and the cryocautery occurs is incorrect.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the fact that not the inspectorship but the cryocautery happens is incorrect if the actinometry happens is incorrect. ; $context$ = sent1: the depressurizing does not occur if either the actinometry or the vision or both occurs. sent2: the gastromy happens if the fact that the fact that the non-azoticness and/or the non-arteriolarness occurs is incorrect is not incorrect. sent3: that not the inspectorship but the cryocautery happens is incorrect if the gastromy happens. sent4: the azoticness happens. sent5: if the depressurizing does not occur the fact that the non-azoticness or the non-arteriolarness or both happens is wrong. sent6: if the gastromy happens then the fact that the fact that that the inspectorship happens and the cryocautery happens is not false is incorrect is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the actinometry happens.; assump1 -> int1: the actinometry happens and/or the vision happens.; sent1 & int1 -> int2: the depressurizing does not occur.; sent5 & int2 -> int3: that the non-azoticness or the non-arteriolarness or both happens is not right.; sent2 & int3 -> int4: the gastromy happens.; sent3 & int4 -> int5: the fact that the inspectorship does not occur and the cryocautery occurs is incorrect.; [assump1] & int5 -> hypothesis; __DISPROVED__