either that the ultraviolet does not occur or that the nesting absolution does not occur or both is caused by the animating.
sent1: not the calvary but the thirstiness happens. sent2: that the blaspheming does not occur is not false. sent3: either the touch does not occur or the apocrineness occurs or both. sent4: if the Andeanness does not occur not the calvary but the playableness happens. sent5: that the ultraviolet does not occur brings about that both the animatedness and the nesting absolution occurs. sent6: either the apocrineness does not occur or the venturing does not occur or both. sent7: both the excusableness and the alveolarness occurs. sent8: if that not the nesting anathema but the prehensileness happens is wrong the animating does not occur. sent9: that the benignantness happens and the neglecting roll-on happens prevents that the ultraviolet happens. sent10: the animatedness occurs if that not the nesting anathema but the prehensileness occurs does not hold. sent11: if that the fact that the agrobiologicness does not occur but the studding legume occurs does not hold is right then that the Andeanness does not occur hold. sent12: that the alveolar occurs yields that the benignantness happens. sent13: that the non-agrobiologicness and the studding legume occurs is false if the preciseness does not occur. sent14: the inspecting does not occur. sent15: not the pastime but the tearfulness happens if the nesting absolution happens. sent16: if the fact that the nesting burn occurs hold then the studding reading does not occur or the one-hitter does not occur or both. sent17: the unusualness does not occur.
void -> assump2: Let's assume that the animating occurs.; void -> assump1: Let's assume that that the nesting anathema does not occur but the prehensileness occurs is not correct.; sent8 & assump1 -> int1: the fact that the animatedness does not occur is true.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the nesting anathema does not occur but the prehensileness occurs.;
the pastime does not occur but the tearfulness happens.
sent7 -> int4: the alveolar occurs.; sent12 & int4 -> int5: the benignantness occurs.;
$hypothesis$ = either that the ultraviolet does not occur or that the nesting absolution does not occur or both is caused by the animating. ; $context$ = sent1: not the calvary but the thirstiness happens. sent2: that the blaspheming does not occur is not false. sent3: either the touch does not occur or the apocrineness occurs or both. sent4: if the Andeanness does not occur not the calvary but the playableness happens. sent5: that the ultraviolet does not occur brings about that both the animatedness and the nesting absolution occurs. sent6: either the apocrineness does not occur or the venturing does not occur or both. sent7: both the excusableness and the alveolarness occurs. sent8: if that not the nesting anathema but the prehensileness happens is wrong the animating does not occur. sent9: that the benignantness happens and the neglecting roll-on happens prevents that the ultraviolet happens. sent10: the animatedness occurs if that not the nesting anathema but the prehensileness occurs does not hold. sent11: if that the fact that the agrobiologicness does not occur but the studding legume occurs does not hold is right then that the Andeanness does not occur hold. sent12: that the alveolar occurs yields that the benignantness happens. sent13: that the non-agrobiologicness and the studding legume occurs is false if the preciseness does not occur. sent14: the inspecting does not occur. sent15: not the pastime but the tearfulness happens if the nesting absolution happens. sent16: if the fact that the nesting burn occurs hold then the studding reading does not occur or the one-hitter does not occur or both. sent17: the unusualness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the animating occurs.; void -> assump1: Let's assume that that the nesting anathema does not occur but the prehensileness occurs is not correct.; sent8 & assump1 -> int1: the fact that the animatedness does not occur is true.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the nesting anathema does not occur but the prehensileness occurs.; __UNKNOWN__