the illegitimateness does not occur.
sent1: the illegitimateness happens if the subarcticness does not occur and/or the permeating does not occur. sent2: the illegitimateness brings about that the lifting happens. sent3: the subarcticness occurs. sent4: the lifting happens. sent5: if the reciprocal occurs then the fact that the categoricness but not the smiting poorhouse happens is false. sent6: if the whistling AI does not occur then the nectar-richness does not occur and the counter does not occur. sent7: if the permeating does not occur then both the illegitimateness and the lunisolarness happens. sent8: the permeating does not occur if that the extravasating does not occur and/or the subarcticness occurs is false. sent9: that the releasing happens is prevented by that the worsting does not occur but the radioimmunoassay happens. sent10: if both the smiting poorhouse and the whistling AI happens then the countering does not occur. sent11: if the nectar-richness does not occur the fact that the extravasating does not occur and/or the subarcticness occurs does not hold. sent12: if the releasing does not occur not the fusion but the receipting occurs. sent13: that the fusion does not occur but the receipting happens yields the reciprocalness. sent14: the pollination happens if the permeating occurs. sent15: if the fact that the categoricness but not the smiting poorhouse happens is false the whistling AI does not occur. sent16: not the pollination but the lifting occurs if the illegitimateness happens. sent17: that the countering does not occur yields that that the extravasating does not occur and the nectar-richness does not occur is not wrong. sent18: that the subarcticness does not occur and/or that the permeating does not occur is brought about by that the extravasating does not occur.
void -> assump1: Let's assume that the illegitimateness occurs.; sent16 & assump1 -> int1: the pollination does not occur but the lifting happens.; int1 -> int2: the pollination does not occur.;
the lunisolarness occurs.
$hypothesis$ = the illegitimateness does not occur. ; $context$ = sent1: the illegitimateness happens if the subarcticness does not occur and/or the permeating does not occur. sent2: the illegitimateness brings about that the lifting happens. sent3: the subarcticness occurs. sent4: the lifting happens. sent5: if the reciprocal occurs then the fact that the categoricness but not the smiting poorhouse happens is false. sent6: if the whistling AI does not occur then the nectar-richness does not occur and the counter does not occur. sent7: if the permeating does not occur then both the illegitimateness and the lunisolarness happens. sent8: the permeating does not occur if that the extravasating does not occur and/or the subarcticness occurs is false. sent9: that the releasing happens is prevented by that the worsting does not occur but the radioimmunoassay happens. sent10: if both the smiting poorhouse and the whistling AI happens then the countering does not occur. sent11: if the nectar-richness does not occur the fact that the extravasating does not occur and/or the subarcticness occurs does not hold. sent12: if the releasing does not occur not the fusion but the receipting occurs. sent13: that the fusion does not occur but the receipting happens yields the reciprocalness. sent14: the pollination happens if the permeating occurs. sent15: if the fact that the categoricness but not the smiting poorhouse happens is false the whistling AI does not occur. sent16: not the pollination but the lifting occurs if the illegitimateness happens. sent17: that the countering does not occur yields that that the extravasating does not occur and the nectar-richness does not occur is not wrong. sent18: that the subarcticness does not occur and/or that the permeating does not occur is brought about by that the extravasating does not occur. ; $proof$ = 
void -> assump1: Let's assume that the illegitimateness occurs.; sent16 & assump1 -> int1: the pollination does not occur but the lifting happens.; int1 -> int2: the pollination does not occur.; __UNKNOWN__