that the commandership happens hold.
sent1: the instructorship happens. sent2: if the unmilitariness does not occur then the brainwave and the companying orientalism happens. sent3: the unmilitariness does not occur. sent4: if the fact that the reproducing occurs is not wrong then the commandership does not occur. sent5: if the prestidigitation happens then the meander does not occur. sent6: the retailing does not occur. sent7: if the reproducing does not occur that the last occurs and the marathon happens does not hold. sent8: the tectonicsness does not occur if the fact that the Tanzanian does not occur is not incorrect. sent9: the staging mite does not occur if that the predetermination happens and the pitter-patter happens is incorrect. sent10: the Tanzanianness does not occur. sent11: if that the lasting occurs and the marathon occurs is not true the brainwave does not occur. sent12: the sensing happens. sent13: that the accordantness happens and the consolidating occurs is false if the descending does not occur. sent14: the clearing flesh happens.
void -> assump1: Let's assume that that the reproducing does not occur hold.; sent7 & assump1 -> int1: the fact that the last and the marathon occurs is incorrect.; int1 & sent11 -> int2: the brainwave does not occur.; sent2 & sent3 -> int3: the brainwave and the companying orientalism happens.; int3 -> int4: the brainwave occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the reproducing occurs.; int6 & sent4 -> hypothesis;
$hypothesis$ = that the commandership happens hold. ; $context$ = sent1: the instructorship happens. sent2: if the unmilitariness does not occur then the brainwave and the companying orientalism happens. sent3: the unmilitariness does not occur. sent4: if the fact that the reproducing occurs is not wrong then the commandership does not occur. sent5: if the prestidigitation happens then the meander does not occur. sent6: the retailing does not occur. sent7: if the reproducing does not occur that the last occurs and the marathon happens does not hold. sent8: the tectonicsness does not occur if the fact that the Tanzanian does not occur is not incorrect. sent9: the staging mite does not occur if that the predetermination happens and the pitter-patter happens is incorrect. sent10: the Tanzanianness does not occur. sent11: if that the lasting occurs and the marathon occurs is not true the brainwave does not occur. sent12: the sensing happens. sent13: that the accordantness happens and the consolidating occurs is false if the descending does not occur. sent14: the clearing flesh happens. ; $proof$ = 
void -> assump1: Let's assume that that the reproducing does not occur hold.; sent7 & assump1 -> int1: the fact that the last and the marathon occurs is incorrect.; int1 & sent11 -> int2: the brainwave does not occur.; sent2 & sent3 -> int3: the brainwave and the companying orientalism happens.; int3 -> int4: the brainwave occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the reproducing occurs.; int6 & sent4 -> hypothesis; __DISPROVED__