the skidding happens.
sent1: that the procedure does not occur is caused by that the Napoleon does not occur and the acatalecticness does not occur. sent2: the inconsolableness occurs. sent3: the Napoleon does not occur. sent4: that if that the inversion does not occur or the interluding does not occur or both does not hold the disowning jackdaw does not occur hold. sent5: that the disowning mouton does not occur and the ginning maar does not occur is triggered by the non-inconsolableness. sent6: the procedure does not occur and the skid happens if the disowning jackdaw does not occur. sent7: the Napoleon does not occur and the acatalecticness does not occur. sent8: the inconsolableness occurs and the skid happens if the procedure does not occur.
sent1 & sent7 -> int1: the fact that the procedure does not occur hold.; sent8 & int1 -> int2: the inconsolableness and the skidding happens.; int2 -> hypothesis;
the disowning mouton does not occur and the ginning maar does not occur.
$hypothesis$ = the skidding happens. ; $context$ = sent1: that the procedure does not occur is caused by that the Napoleon does not occur and the acatalecticness does not occur. sent2: the inconsolableness occurs. sent3: the Napoleon does not occur. sent4: that if that the inversion does not occur or the interluding does not occur or both does not hold the disowning jackdaw does not occur hold. sent5: that the disowning mouton does not occur and the ginning maar does not occur is triggered by the non-inconsolableness. sent6: the procedure does not occur and the skid happens if the disowning jackdaw does not occur. sent7: the Napoleon does not occur and the acatalecticness does not occur. sent8: the inconsolableness occurs and the skid happens if the procedure does not occur. ; $proof$ = 
sent1 & sent7 -> int1: the fact that the procedure does not occur hold.; sent8 & int1 -> int2: the inconsolableness and the skidding happens.; int2 -> hypothesis; __PROVED__