both the delineation and the reverse occurs.
sent1: the tolerantness does not occur. sent2: the grubbing citizen happens. sent3: the bulimic occurs if the grubbing matriculate does not occur. sent4: the topping Californian does not occur. sent5: if that the resort does not occur and the astomatousness does not occur is not correct the flagellating laptop does not occur. sent6: the snipping does not occur if that both the snipping and the bullying occurs is not right. sent7: that the topping scanning but not the chalkiness happens is not right. sent8: if the fact that the malting pornographer does not occur and the rupture does not occur is incorrect then the grubbing matriculate does not occur. sent9: if the delineation does not occur that the malting pornographer does not occur and the rupture does not occur does not hold. sent10: that the topping insanity does not occur is brought about by that the bulimic occurs and the flagellating laptop does not occur. sent11: the fiscalness does not occur if that the fiscalness and the reordering happens does not hold. sent12: if the fiscalness does not occur that the resort does not occur but the astomatousness happens is not correct. sent13: the fact that the sparking happens but the chancellorship does not occur is correct. sent14: that both the fiscalness and the reordering occurs does not hold. sent15: the fact that the resort does not occur and the astomatousness does not occur does not hold if the fiscalness does not occur. sent16: the topping insanity occurs and the Anglicanness does not occur.
void -> assump1: Let's assume that the delineation does not occur.; sent9 & assump1 -> int1: the fact that the malting pornographer does not occur and the rupture does not occur is not true.; int1 & sent8 -> int2: the grubbing matriculate does not occur.; int2 & sent3 -> int3: the bulimic occurs.; sent11 & sent14 -> int4: that the fiscalness does not occur is true.; sent15 & int4 -> int5: that the resort does not occur and the astomatousness does not occur is incorrect.; sent5 & int5 -> int6: the flagellating laptop does not occur.; int3 & int6 -> int7: the bulimic happens but the flagellating laptop does not occur.; int7 & sent10 -> int8: the topping insanity does not occur.; sent16 -> int9: the topping insanity occurs.; int8 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the delineation happens.;
$hypothesis$ = both the delineation and the reverse occurs. ; $context$ = sent1: the tolerantness does not occur. sent2: the grubbing citizen happens. sent3: the bulimic occurs if the grubbing matriculate does not occur. sent4: the topping Californian does not occur. sent5: if that the resort does not occur and the astomatousness does not occur is not correct the flagellating laptop does not occur. sent6: the snipping does not occur if that both the snipping and the bullying occurs is not right. sent7: that the topping scanning but not the chalkiness happens is not right. sent8: if the fact that the malting pornographer does not occur and the rupture does not occur is incorrect then the grubbing matriculate does not occur. sent9: if the delineation does not occur that the malting pornographer does not occur and the rupture does not occur does not hold. sent10: that the topping insanity does not occur is brought about by that the bulimic occurs and the flagellating laptop does not occur. sent11: the fiscalness does not occur if that the fiscalness and the reordering happens does not hold. sent12: if the fiscalness does not occur that the resort does not occur but the astomatousness happens is not correct. sent13: the fact that the sparking happens but the chancellorship does not occur is correct. sent14: that both the fiscalness and the reordering occurs does not hold. sent15: the fact that the resort does not occur and the astomatousness does not occur does not hold if the fiscalness does not occur. sent16: the topping insanity occurs and the Anglicanness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the delineation does not occur.; sent9 & assump1 -> int1: the fact that the malting pornographer does not occur and the rupture does not occur is not true.; int1 & sent8 -> int2: the grubbing matriculate does not occur.; int2 & sent3 -> int3: the bulimic occurs.; sent11 & sent14 -> int4: that the fiscalness does not occur is true.; sent15 & int4 -> int5: that the resort does not occur and the astomatousness does not occur is incorrect.; sent5 & int5 -> int6: the flagellating laptop does not occur.; int3 & int6 -> int7: the bulimic happens but the flagellating laptop does not occur.; int7 & sent10 -> int8: the topping insanity does not occur.; sent16 -> int9: the topping insanity occurs.; int8 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the delineation happens.; __UNKNOWN__