not the energeticness but the absorbing occurs.
sent1: the absorbing occurs. sent2: that the millennialness happens hold. sent3: the intervention and the jetting timekeeper happens. sent4: that the incompetent does not occur is prevented by that the containing does not occur. sent5: if the boarding dancer does not occur that the intervention happens but the jetting timekeeper does not occur is incorrect. sent6: the boarding dancer occurs. sent7: if the intervention does not occur the fact that not the energeticness but the absorbing occurs is wrong. sent8: if the utility does not occur then that the absorbing does not occur and the energeticness does not occur is wrong. sent9: the macrobioticness is triggered by the intervention. sent10: if the inguinalness occurs then the non-macrobioticness and the boarding dancer occurs. sent11: if both the macrobioticness and the boarding dancer occurs the energeticness does not occur. sent12: if the incompetentness occurs the utility does not occur and the interoceptiveness does not occur. sent13: if that the intervention but not the jetting timekeeper happens does not hold then the operationalness does not occur. sent14: the containing does not occur and/or the illegitimateness does not occur. sent15: if the rejoinder happens the incompetentness and the non-interoceptiveness occurs. sent16: if the interoceptiveness does not occur the inguinalness and the utility happens.
sent3 -> int1: the intervention happens.; int1 & sent9 -> int2: the macrobioticness happens.; int2 & sent6 -> int3: the macrobioticness happens and the boarding dancer occurs.; int3 & sent11 -> int4: the energeticness does not occur.; int4 & sent1 -> hypothesis;
that not the energeticness but the absorbing happens is false.
$hypothesis$ = not the energeticness but the absorbing occurs. ; $context$ = sent1: the absorbing occurs. sent2: that the millennialness happens hold. sent3: the intervention and the jetting timekeeper happens. sent4: that the incompetent does not occur is prevented by that the containing does not occur. sent5: if the boarding dancer does not occur that the intervention happens but the jetting timekeeper does not occur is incorrect. sent6: the boarding dancer occurs. sent7: if the intervention does not occur the fact that not the energeticness but the absorbing occurs is wrong. sent8: if the utility does not occur then that the absorbing does not occur and the energeticness does not occur is wrong. sent9: the macrobioticness is triggered by the intervention. sent10: if the inguinalness occurs then the non-macrobioticness and the boarding dancer occurs. sent11: if both the macrobioticness and the boarding dancer occurs the energeticness does not occur. sent12: if the incompetentness occurs the utility does not occur and the interoceptiveness does not occur. sent13: if that the intervention but not the jetting timekeeper happens does not hold then the operationalness does not occur. sent14: the containing does not occur and/or the illegitimateness does not occur. sent15: if the rejoinder happens the incompetentness and the non-interoceptiveness occurs. sent16: if the interoceptiveness does not occur the inguinalness and the utility happens. ; $proof$ = 
sent3 -> int1: the intervention happens.; int1 & sent9 -> int2: the macrobioticness happens.; int2 & sent6 -> int3: the macrobioticness happens and the boarding dancer occurs.; int3 & sent11 -> int4: the energeticness does not occur.; int4 & sent1 -> hypothesis; __PROVED__