the cortege does not occur.
sent1: the extinguishing devastation occurs. sent2: the sweeping happens and the rich occurs. sent3: the fact that the cortege does not occur and the summating happens is incorrect if the contributing adrenarche does not occur. sent4: the curve or the mutter or both occurs. sent5: that the lobbyism happens and the sweeping happens is triggered by the non-richness. sent6: that the sweeping happens and/or the summating happens prevents that the cortege happens.
sent2 -> int1: the sweeping happens.; int1 -> int2: the sweeping occurs or the summating happens or both.; int2 & sent6 -> hypothesis;
the Comstockery and/or the lobbyism occurs.
$hypothesis$ = the cortege does not occur. ; $context$ = sent1: the extinguishing devastation occurs. sent2: the sweeping happens and the rich occurs. sent3: the fact that the cortege does not occur and the summating happens is incorrect if the contributing adrenarche does not occur. sent4: the curve or the mutter or both occurs. sent5: that the lobbyism happens and the sweeping happens is triggered by the non-richness. sent6: that the sweeping happens and/or the summating happens prevents that the cortege happens. ; $proof$ = 
sent2 -> int1: the sweeping happens.; int1 -> int2: the sweeping occurs or the summating happens or both.; int2 & sent6 -> hypothesis; __PROVED__