that the emptying happens brings about that the spread occurs.
sent1: the congeeing happens. sent2: if the asynchronousness occurs then the spreading occurs. sent3: the topping bladed occurs and the deal happens. sent4: the ranching happens or the devolution occurs or both. sent5: both the divesting and the damaging happens. sent6: the fact that the spreading occurs hold if the ungenerousness occurs. sent7: the malting knock does not occur if the divesting occurs and the emptiness occurs. sent8: the malting icosahedron occurs and the divesting occurs if the damage does not occur. sent9: if the cannibalism happens the wreathing occurs. sent10: the vocation does not occur. sent11: that the hiplessness occurs and/or the parceling happens is brought about by that the malting Manhattan does not occur.
sent5 -> int1: the divesting occurs.; void -> assump1: Let's assume that the emptiness occurs.; int1 & assump1 -> int2: both the divesting and the empty occurs.; sent7 & int2 -> int3: the malting knock does not occur.;
the malting icosahedron happens.
$hypothesis$ = that the emptying happens brings about that the spread occurs. ; $context$ = sent1: the congeeing happens. sent2: if the asynchronousness occurs then the spreading occurs. sent3: the topping bladed occurs and the deal happens. sent4: the ranching happens or the devolution occurs or both. sent5: both the divesting and the damaging happens. sent6: the fact that the spreading occurs hold if the ungenerousness occurs. sent7: the malting knock does not occur if the divesting occurs and the emptiness occurs. sent8: the malting icosahedron occurs and the divesting occurs if the damage does not occur. sent9: if the cannibalism happens the wreathing occurs. sent10: the vocation does not occur. sent11: that the hiplessness occurs and/or the parceling happens is brought about by that the malting Manhattan does not occur. ; $proof$ = 
sent5 -> int1: the divesting occurs.; void -> assump1: Let's assume that the emptiness occurs.; int1 & assump1 -> int2: both the divesting and the empty occurs.; sent7 & int2 -> int3: the malting knock does not occur.; __UNKNOWN__