that that either the decampment does not occur or the fade does not occur or both is false if the stumbling semitrance does not occur is wrong.
sent1: that the stumbling semitrance happens is brought about by that the decampment does not occur or the fade does not occur or both. sent2: the grading throb does not occur and/or the call-back happens. sent3: the stumbling fetlock does not occur if the swapping occurs. sent4: the counting vicar happens if the soaring happens and/or the consisting does not occur. sent5: that the fade does not occur yields that the stumbling semitrance occurs.
void -> assump1: Let's assume that the decampment does not occur or the fading does not occur or both.; sent1 & assump1 -> int1: that the stumbling semitrance happens hold.; void -> assump2: Let's assume that the stumbling semitrance does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the decampment does not occur or the fade does not occur or both is not true.; [assump2] & int3 -> hypothesis;
the stumbling fetlock does not occur.
$hypothesis$ = that that either the decampment does not occur or the fade does not occur or both is false if the stumbling semitrance does not occur is wrong. ; $context$ = sent1: that the stumbling semitrance happens is brought about by that the decampment does not occur or the fade does not occur or both. sent2: the grading throb does not occur and/or the call-back happens. sent3: the stumbling fetlock does not occur if the swapping occurs. sent4: the counting vicar happens if the soaring happens and/or the consisting does not occur. sent5: that the fade does not occur yields that the stumbling semitrance occurs. ; $proof$ = 
void -> assump1: Let's assume that the decampment does not occur or the fading does not occur or both.; sent1 & assump1 -> int1: that the stumbling semitrance happens hold.; void -> assump2: Let's assume that the stumbling semitrance does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the decampment does not occur or the fade does not occur or both is not true.; [assump2] & int3 -> hypothesis; __DISPROVED__