the reinstatement does not occur.
sent1: the avascularness and the jackknifing occurs if the unwrapping grog does not occur. sent2: that the panicking and the unwrapping grog happens is wrong if the jackknife does not occur. sent3: the reference happens and/or the teamwork does not occur if the Californian happens. sent4: the spieling ELN does not occur and the spirit occurs if the reinstatement does not occur. sent5: the panic occurs if the avascularness happens. sent6: the spieling shy does not occur and the hiding does not occur if the permanent does not occur. sent7: the panic does not occur if that the panic happens and the unwrapping grog occurs does not hold. sent8: the impersonating backbone happens if the referencing happens and/or the teamwork does not occur. sent9: if the molalness does not occur then both the avascularness and the marketing happens. sent10: that the reinstatement does not occur is caused by that the avascularness occurs and the panic does not occur. sent11: the jackknifing does not occur if the fact that both the cohabitation and the non-hollowness happens is not right. sent12: the fact that both the cohabitation and the non-hollowness occurs is wrong if the impersonating backbone happens. sent13: the avascularness does not occur. sent14: the Californianness and the impersonating Veratrum occurs if the spieling shy does not occur. sent15: that the avascularness does not occur triggers that not the spiriting but the panic happens. sent16: if the fact that the bacteroidalness occurs or the conjugation does not occur or both is wrong the permanentness does not occur.
void -> assump1: Let's assume that the reinstatement does not occur.; sent4 & assump1 -> int1: the spieling ELN does not occur but the spirit happens.; int1 -> int2: the spirit occurs.; sent15 & sent13 -> int3: the spiriting does not occur and the panic happens.; int3 -> int4: the spiriting does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the levorotation does not occur.
$hypothesis$ = the reinstatement does not occur. ; $context$ = sent1: the avascularness and the jackknifing occurs if the unwrapping grog does not occur. sent2: that the panicking and the unwrapping grog happens is wrong if the jackknife does not occur. sent3: the reference happens and/or the teamwork does not occur if the Californian happens. sent4: the spieling ELN does not occur and the spirit occurs if the reinstatement does not occur. sent5: the panic occurs if the avascularness happens. sent6: the spieling shy does not occur and the hiding does not occur if the permanent does not occur. sent7: the panic does not occur if that the panic happens and the unwrapping grog occurs does not hold. sent8: the impersonating backbone happens if the referencing happens and/or the teamwork does not occur. sent9: if the molalness does not occur then both the avascularness and the marketing happens. sent10: that the reinstatement does not occur is caused by that the avascularness occurs and the panic does not occur. sent11: the jackknifing does not occur if the fact that both the cohabitation and the non-hollowness happens is not right. sent12: the fact that both the cohabitation and the non-hollowness occurs is wrong if the impersonating backbone happens. sent13: the avascularness does not occur. sent14: the Californianness and the impersonating Veratrum occurs if the spieling shy does not occur. sent15: that the avascularness does not occur triggers that not the spiriting but the panic happens. sent16: if the fact that the bacteroidalness occurs or the conjugation does not occur or both is wrong the permanentness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the reinstatement does not occur.; sent4 & assump1 -> int1: the spieling ELN does not occur but the spirit happens.; int1 -> int2: the spirit occurs.; sent15 & sent13 -> int3: the spiriting does not occur and the panic happens.; int3 -> int4: the spiriting does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__