that the arc does not occur and the blanketing sphenoid occurs does not hold.
sent1: if the legalness does not occur that the promising Mantle does not occur but the arc happens is incorrect. sent2: the legalness does not occur. sent3: if the blanketing sphenoid does not occur then the yoking does not occur but the getting occurs. sent4: the non-operationalness and the jamming breadth happens. sent5: if the trepaning mailboat occurs then the fact that the yoking does not occur but the getting happens is wrong. sent6: if that the blanketing sphenoid does not occur and/or the arc happens is not right then the Tasmanianness happens. sent7: if the fact that not the promising Mantle but the arc happens is not true then the arc does not occur. sent8: the trepaning mailboat happens.
void -> assump1: Let's assume that the blanketing sphenoid does not occur.; sent3 & assump1 -> int1: the yoking does not occur and the get occurs.; sent5 & sent8 -> int2: that the fact that not the yoke but the get happens is incorrect is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the blanketing sphenoid happens.; sent1 & sent2 -> int5: that the promising Mantle does not occur but the arc happens is wrong.; sent7 & int5 -> int6: the arc does not occur.; int4 & int6 -> hypothesis;
the Tasmanianness happens.
$hypothesis$ = that the arc does not occur and the blanketing sphenoid occurs does not hold. ; $context$ = sent1: if the legalness does not occur that the promising Mantle does not occur but the arc happens is incorrect. sent2: the legalness does not occur. sent3: if the blanketing sphenoid does not occur then the yoking does not occur but the getting occurs. sent4: the non-operationalness and the jamming breadth happens. sent5: if the trepaning mailboat occurs then the fact that the yoking does not occur but the getting happens is wrong. sent6: if that the blanketing sphenoid does not occur and/or the arc happens is not right then the Tasmanianness happens. sent7: if the fact that not the promising Mantle but the arc happens is not true then the arc does not occur. sent8: the trepaning mailboat happens. ; $proof$ = 
void -> assump1: Let's assume that the blanketing sphenoid does not occur.; sent3 & assump1 -> int1: the yoking does not occur and the get occurs.; sent5 & sent8 -> int2: that the fact that not the yoke but the get happens is incorrect is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the blanketing sphenoid happens.; sent1 & sent2 -> int5: that the promising Mantle does not occur but the arc happens is wrong.; sent7 & int5 -> int6: the arc does not occur.; int4 & int6 -> hypothesis; __DISPROVED__