that if the disturbance does not occur not the surmising but the enzymaticness happens is incorrect.
sent1: that the happyness and the synestheticness happens is not false. sent2: the shrift does not occur. sent3: the uppercaseness and the routine happens. sent4: the tolerating occurs. sent5: if the spiritualisticness does not occur that not the scramming lithograph but the massing occurs is not correct. sent6: if the mass does not occur then that the stealing causeway does not occur and the fossil does not occur is not true. sent7: that the spiritualisticness does not occur is triggered by that the confirmation does not occur. sent8: the nonnativeness does not occur. sent9: if the fact that the stealing causeway does not occur and the fossilness does not occur is wrong then the disturbance happens. sent10: both the loamyness and the crane occurs. sent11: if that not the scramming lithograph but the massing occurs is not true the massing does not occur. sent12: if the disturbance occurs the hypothecating does not occur. sent13: that not the surmising but the tolerating happens is caused by that the disturbance does not occur. sent14: the outsailing rescued happens. sent15: the enzymaticness and the outsailing rescued occurs. sent16: not the surmising but the enzymaticness happens if the disturbance happens. sent17: the disturbance leads to that the surmising does not occur but the tolerating happens. sent18: that the disturbance does not occur yields the tolerating.
void -> assump1: Let's assume that the fact that the disturbance does not occur is not incorrect.; sent13 & assump1 -> int1: that not the surmising but the tolerating occurs is not false.; int1 -> int2: the surmising does not occur.; sent15 -> int3: the enzymaticness occurs.; int2 & int3 -> int4: not the surmising but the enzymaticness happens.; [assump1] & int4 -> hypothesis;
the hypothecating does not occur and the gavage occurs.
$hypothesis$ = that if the disturbance does not occur not the surmising but the enzymaticness happens is incorrect. ; $context$ = sent1: that the happyness and the synestheticness happens is not false. sent2: the shrift does not occur. sent3: the uppercaseness and the routine happens. sent4: the tolerating occurs. sent5: if the spiritualisticness does not occur that not the scramming lithograph but the massing occurs is not correct. sent6: if the mass does not occur then that the stealing causeway does not occur and the fossil does not occur is not true. sent7: that the spiritualisticness does not occur is triggered by that the confirmation does not occur. sent8: the nonnativeness does not occur. sent9: if the fact that the stealing causeway does not occur and the fossilness does not occur is wrong then the disturbance happens. sent10: both the loamyness and the crane occurs. sent11: if that not the scramming lithograph but the massing occurs is not true the massing does not occur. sent12: if the disturbance occurs the hypothecating does not occur. sent13: that not the surmising but the tolerating happens is caused by that the disturbance does not occur. sent14: the outsailing rescued happens. sent15: the enzymaticness and the outsailing rescued occurs. sent16: not the surmising but the enzymaticness happens if the disturbance happens. sent17: the disturbance leads to that the surmising does not occur but the tolerating happens. sent18: that the disturbance does not occur yields the tolerating. ; $proof$ = 
void -> assump1: Let's assume that the fact that the disturbance does not occur is not incorrect.; sent13 & assump1 -> int1: that not the surmising but the tolerating occurs is not false.; int1 -> int2: the surmising does not occur.; sent15 -> int3: the enzymaticness occurs.; int2 & int3 -> int4: not the surmising but the enzymaticness happens.; [assump1] & int4 -> hypothesis; __DISPROVED__