that if the expedition does not occur then that the trussing quarterstaff occurs but the lockstep does not occur does not hold is false.
sent1: the non-firmamentalness results in that the radialness occurs and the intonation does not occur. sent2: the fact that the expedition and the deploying occurs does not hold. sent3: that the trussing quarterstaff and the lockstep happens is not correct if the expedition does not occur. sent4: if the abscondment does not occur then that not the expedition but the deploying occurs is not true. sent5: the lockstep does not occur. sent6: the gravity-assist does not occur. sent7: the fact that that the trussing quarterstaff occurs and the lockstep happens is not wrong is false. sent8: the abscondment does not occur if both the trussing cochineal and the explicableness happens. sent9: the deploying is caused by that the trussing quarterstaff occurs and the lockstep does not occur. sent10: the deploying happens if the trussing quarterstaff and the lockstep occurs. sent11: that the expedition occurs and the deploying happens does not hold if the abscondment does not occur. sent12: that the intuitionistness but not the guttering mistranslation occurs triggers that the manhunt happens. sent13: the trussing cochineal does not occur but the explicableness occurs. sent14: the abscondment does not occur if not the trussing cochineal but the explicableness happens. sent15: that the guttering iodine but not the sweltering guardsman occurs is false.
void -> assump2: Let's assume that the trussing quarterstaff happens and the lockstep does not occur.; sent9 & assump2 -> int1: the deploying happens.; void -> assump1: Let's assume that the expedition does not occur.; int1 & assump1 -> int2: the expedition does not occur and the deploying happens.; sent14 & sent13 -> int3: that the abscondment does not occur is right.; sent4 & int3 -> int4: the fact that the expedition does not occur but the deploying occurs does not hold.; int2 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: that the trussing quarterstaff occurs but the lockstep does not occur is false.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that if the expedition does not occur then that the trussing quarterstaff occurs but the lockstep does not occur does not hold is false. ; $context$ = sent1: the non-firmamentalness results in that the radialness occurs and the intonation does not occur. sent2: the fact that the expedition and the deploying occurs does not hold. sent3: that the trussing quarterstaff and the lockstep happens is not correct if the expedition does not occur. sent4: if the abscondment does not occur then that not the expedition but the deploying occurs is not true. sent5: the lockstep does not occur. sent6: the gravity-assist does not occur. sent7: the fact that that the trussing quarterstaff occurs and the lockstep happens is not wrong is false. sent8: the abscondment does not occur if both the trussing cochineal and the explicableness happens. sent9: the deploying is caused by that the trussing quarterstaff occurs and the lockstep does not occur. sent10: the deploying happens if the trussing quarterstaff and the lockstep occurs. sent11: that the expedition occurs and the deploying happens does not hold if the abscondment does not occur. sent12: that the intuitionistness but not the guttering mistranslation occurs triggers that the manhunt happens. sent13: the trussing cochineal does not occur but the explicableness occurs. sent14: the abscondment does not occur if not the trussing cochineal but the explicableness happens. sent15: that the guttering iodine but not the sweltering guardsman occurs is false. ; $proof$ = 
void -> assump2: Let's assume that the trussing quarterstaff happens and the lockstep does not occur.; sent9 & assump2 -> int1: the deploying happens.; void -> assump1: Let's assume that the expedition does not occur.; int1 & assump1 -> int2: the expedition does not occur and the deploying happens.; sent14 & sent13 -> int3: that the abscondment does not occur is right.; sent4 & int3 -> int4: the fact that the expedition does not occur but the deploying occurs does not hold.; int2 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: that the trussing quarterstaff occurs but the lockstep does not occur is false.; [assump1] & int6 -> hypothesis; __DISPROVED__