that if the decampment does not occur the run-up happens and/or the deserting occurs is incorrect.
sent1: if the desert happens that the decampment occurs hold. sent2: if the down-bow does not occur then the run-up occurs. sent3: if the trebling corvee happens then that the Angolanness occurs hold. sent4: that the down-bow does not occur and the typeset does not occur is triggered by the Angolan. sent5: the viaticalness occurs if the decampment does not occur and the desert happens. sent6: the decampment happens if the deserting does not occur. sent7: either the run-up or that the desert occurs or both is brought about by the decampment. sent8: if the run-up happens the decampment does not occur but the deserting happens. sent9: the lying occurs if the boundedness does not occur. sent10: the gustatoriness causes that the trebling corvee occurs.
void -> assump2: Let's assume that the deserting does not occur.; sent6 & assump2 -> int1: the decampment happens.; void -> assump1: Let's assume that the decampment does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the desert occurs.; int3 -> int4: the run-up occurs and/or the deserting occurs.; [assump1] & int4 -> hypothesis;
the trebling deflector occurs and/or the viaticalness happens.
$hypothesis$ = that if the decampment does not occur the run-up happens and/or the deserting occurs is incorrect. ; $context$ = sent1: if the desert happens that the decampment occurs hold. sent2: if the down-bow does not occur then the run-up occurs. sent3: if the trebling corvee happens then that the Angolanness occurs hold. sent4: that the down-bow does not occur and the typeset does not occur is triggered by the Angolan. sent5: the viaticalness occurs if the decampment does not occur and the desert happens. sent6: the decampment happens if the deserting does not occur. sent7: either the run-up or that the desert occurs or both is brought about by the decampment. sent8: if the run-up happens the decampment does not occur but the deserting happens. sent9: the lying occurs if the boundedness does not occur. sent10: the gustatoriness causes that the trebling corvee occurs. ; $proof$ = 
void -> assump2: Let's assume that the deserting does not occur.; sent6 & assump2 -> int1: the decampment happens.; void -> assump1: Let's assume that the decampment does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the desert occurs.; int3 -> int4: the run-up occurs and/or the deserting occurs.; [assump1] & int4 -> hypothesis; __DISPROVED__