the fact that the routine does not occur and the slenderizing does not occur is not true if the fact that the corrigibleness occurs is not false.
sent1: if the kill does not occur the fact that the routine does not occur and the slenderizing does not occur does not hold. sent2: the fact that the aquaticsness occurs hold. sent3: that the recording and the kill happens prevents the resting. sent4: if the flicking blueprint does not occur then the interacting does not occur. sent5: the depersonalization happens. sent6: the unyoking occurs. sent7: if the burrlikeness does not occur then that the royalness occurs and the varnishing causalgia does not occur is wrong. sent8: if the Gregorianness happens then the fact that the suctorialness does not occur and the debouching does not occur is not right. sent9: if the killing does not occur then the fact that the routine occurs but the slenderizing does not occur is not true. sent10: the fact that the routine but not the slenderizing happens is false if the fact that the corrigibleness occurs is true. sent11: the fact that the corruption does not occur and the antibiotic does not occur is not correct. sent12: the meretriciousness happens and the recording does not occur if that the varnishing basidiolichen does not occur hold. sent13: if the rest does not occur that the corrigibleness does not occur is not incorrect. sent14: if the apprehension occurs that not the bombing but the dealing happens is wrong. sent15: the ignoring wideness occurs and the bibliothecalness happens.
void -> assump1: Let's assume that the corrigibleness occurs.;
the meretriciousness happens.
$hypothesis$ = the fact that the routine does not occur and the slenderizing does not occur is not true if the fact that the corrigibleness occurs is not false. ; $context$ = sent1: if the kill does not occur the fact that the routine does not occur and the slenderizing does not occur does not hold. sent2: the fact that the aquaticsness occurs hold. sent3: that the recording and the kill happens prevents the resting. sent4: if the flicking blueprint does not occur then the interacting does not occur. sent5: the depersonalization happens. sent6: the unyoking occurs. sent7: if the burrlikeness does not occur then that the royalness occurs and the varnishing causalgia does not occur is wrong. sent8: if the Gregorianness happens then the fact that the suctorialness does not occur and the debouching does not occur is not right. sent9: if the killing does not occur then the fact that the routine occurs but the slenderizing does not occur is not true. sent10: the fact that the routine but not the slenderizing happens is false if the fact that the corrigibleness occurs is true. sent11: the fact that the corruption does not occur and the antibiotic does not occur is not correct. sent12: the meretriciousness happens and the recording does not occur if that the varnishing basidiolichen does not occur hold. sent13: if the rest does not occur that the corrigibleness does not occur is not incorrect. sent14: if the apprehension occurs that not the bombing but the dealing happens is wrong. sent15: the ignoring wideness occurs and the bibliothecalness happens. ; $proof$ = 
void -> assump1: Let's assume that the corrigibleness occurs.; __UNKNOWN__