the lowlandness happens.
sent1: the non-basalticness is prevented by either that the monetariness happens or that the tonsure does not occur or both. sent2: the fact that both the lowland and the monetariness happens is incorrect if the exceeding dentistry does not occur. sent3: if the amaranthineness occurs the fact that the lunisolarness occurs but the firestorm does not occur does not hold. sent4: the lowland does not occur if that the lowland and the monetariness happens is incorrect. sent5: if that the jellifying Decapterus does not occur is not false then that the tonsure does not occur but the basalticness happens is not true. sent6: that the amaranthineness occurs and the putridness happens is brought about by that the swagging does not occur. sent7: the non-amaranthineness and the putridness happens. sent8: the exceeding dentistry occurs and the monetariness happens. sent9: the lunisolarness happens and the exceeding Edison occurs if the amaranthineness does not occur. sent10: that the exceeding Edison and the jellifying Decapterus occurs leads to that the exceeding goatfish does not occur. sent11: if the tonsure does not occur then the non-monetaryness and the exceeding dentistry happens. sent12: the resentfulness happens. sent13: that the Oblation does not occur is prevented by that the monetariness does not occur but the exceeding dentistry happens. sent14: the firestorm and the lowlandness happens if the exceeding goatfish does not occur. sent15: the quarterfinal happens. sent16: the perinatalness occurs.
sent8 -> int1: the monetariness occurs.; int1 -> int2: the monetariness happens and/or the tonsuring does not occur.; int2 & sent1 -> int3: the basalticness occurs.; sent7 -> int4: the fact that the amaranthineness does not occur is not false.; sent9 & int4 -> int5: the lunisolarness and the exceeding Edison occurs.; int5 -> int6: that the exceeding Edison happens hold.;
the fact that the Oblation happens is not false.
$hypothesis$ = the lowlandness happens. ; $context$ = sent1: the non-basalticness is prevented by either that the monetariness happens or that the tonsure does not occur or both. sent2: the fact that both the lowland and the monetariness happens is incorrect if the exceeding dentistry does not occur. sent3: if the amaranthineness occurs the fact that the lunisolarness occurs but the firestorm does not occur does not hold. sent4: the lowland does not occur if that the lowland and the monetariness happens is incorrect. sent5: if that the jellifying Decapterus does not occur is not false then that the tonsure does not occur but the basalticness happens is not true. sent6: that the amaranthineness occurs and the putridness happens is brought about by that the swagging does not occur. sent7: the non-amaranthineness and the putridness happens. sent8: the exceeding dentistry occurs and the monetariness happens. sent9: the lunisolarness happens and the exceeding Edison occurs if the amaranthineness does not occur. sent10: that the exceeding Edison and the jellifying Decapterus occurs leads to that the exceeding goatfish does not occur. sent11: if the tonsure does not occur then the non-monetaryness and the exceeding dentistry happens. sent12: the resentfulness happens. sent13: that the Oblation does not occur is prevented by that the monetariness does not occur but the exceeding dentistry happens. sent14: the firestorm and the lowlandness happens if the exceeding goatfish does not occur. sent15: the quarterfinal happens. sent16: the perinatalness occurs. ; $proof$ = 
sent8 -> int1: the monetariness occurs.; int1 -> int2: the monetariness happens and/or the tonsuring does not occur.; int2 & sent1 -> int3: the basalticness occurs.; sent7 -> int4: the fact that the amaranthineness does not occur is not false.; sent9 & int4 -> int5: the lunisolarness and the exceeding Edison occurs.; int5 -> int6: that the exceeding Edison happens hold.; __UNKNOWN__