the landfall happens if the dissipating happens.
sent1: the dithering is prevented by that both the susceptibleness and the outsailing dj happens. sent2: that if that the decolonizing half-truth happens is not incorrect the fact that the encountering occurs but the counterpunch does not occur is not true is not false. sent3: the PM does not occur if the dissipating occurs. sent4: both the precedence and the dissipating happens if the encountering does not occur. sent5: the PM does not occur. sent6: if the griping happens then the tracklessness happens. sent7: both the Set and the decolonizing half-truth happens if the primingness does not occur. sent8: that the neurobiologicalness occurs prevents that the decolonizing pistoleer does not occur. sent9: that the recalculation happens triggers that both the non-coldness and the decolonizing pistoleer occurs. sent10: not the affliction but the recurrence occurs if the manifestation happens. sent11: that the dither does not occur causes that the Machiavellian occurs and the wanton occurs. sent12: if the dissipating happens and the encounter does not occur then the malingering does not occur. sent13: not the inauguration but the siege happens if the Machiavellian occurs. sent14: the decolonizing strum does not occur if not the inauguration but the siege occurs. sent15: the decolonizing pile does not occur but the Machiavellianness occurs. sent16: the encounter does not occur if that the encounter but not the counterpunch occurs is not true. sent17: if that the dissipating happens hold then not the PM but the landfall occurs. sent18: if the decolonizing strum does not occur then the rubbing does not occur and the hyperextension does not occur. sent19: that the rubbing does not occur results in that both the non-confrontationalness and the non-primingness happens.
void -> assump1: Let's assume that the dissipating occurs.; sent17 & assump1 -> int1: not the PM but the landfall occurs.; int1 -> int2: the landfall happens.; [assump1] & int2 -> hypothesis;
the precedence occurs.
$hypothesis$ = the landfall happens if the dissipating happens. ; $context$ = sent1: the dithering is prevented by that both the susceptibleness and the outsailing dj happens. sent2: that if that the decolonizing half-truth happens is not incorrect the fact that the encountering occurs but the counterpunch does not occur is not true is not false. sent3: the PM does not occur if the dissipating occurs. sent4: both the precedence and the dissipating happens if the encountering does not occur. sent5: the PM does not occur. sent6: if the griping happens then the tracklessness happens. sent7: both the Set and the decolonizing half-truth happens if the primingness does not occur. sent8: that the neurobiologicalness occurs prevents that the decolonizing pistoleer does not occur. sent9: that the recalculation happens triggers that both the non-coldness and the decolonizing pistoleer occurs. sent10: not the affliction but the recurrence occurs if the manifestation happens. sent11: that the dither does not occur causes that the Machiavellian occurs and the wanton occurs. sent12: if the dissipating happens and the encounter does not occur then the malingering does not occur. sent13: not the inauguration but the siege happens if the Machiavellian occurs. sent14: the decolonizing strum does not occur if not the inauguration but the siege occurs. sent15: the decolonizing pile does not occur but the Machiavellianness occurs. sent16: the encounter does not occur if that the encounter but not the counterpunch occurs is not true. sent17: if that the dissipating happens hold then not the PM but the landfall occurs. sent18: if the decolonizing strum does not occur then the rubbing does not occur and the hyperextension does not occur. sent19: that the rubbing does not occur results in that both the non-confrontationalness and the non-primingness happens. ; $proof$ = 
void -> assump1: Let's assume that the dissipating occurs.; sent17 & assump1 -> int1: not the PM but the landfall occurs.; int1 -> int2: the landfall happens.; [assump1] & int2 -> hypothesis; __PROVED__