the fact that the non-solventness and the historicalness happens is false.
sent1: that the lording happens and the isopteranness happens does not hold if the binariness does not occur. sent2: the binariness does not occur. sent3: the deformationalness does not occur. sent4: the jetting happens and the Avestan occurs if the deformationalness does not occur. sent5: the swabbing occurs. sent6: if the stinger does not occur and the isopteranness does not occur then the mounding complementation does not occur. sent7: that the solventness does not occur and the historicalness occurs is brought about by that the mounding monetarist does not occur. sent8: if the fact that the stinger happens and the urticating sunrise happens is right then the jetting does not occur. sent9: the urticating sunrise happens. sent10: the mounding monetarist does not occur if the mounding complementation does not occur. sent11: if that the fact that both the lording and the isopteranness occurs is not correct hold then that the isopteranness does not occur hold.
void -> assump1: Let's assume that the stinger happens.; assump1 & sent9 -> int1: the stinger and the urticating sunrise occurs.; int1 & sent8 -> int2: the jet does not occur.; sent4 & sent3 -> int3: the jet and the Avestan occurs.; int3 -> int4: the jetting happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the stinger does not occur.; sent1 & sent2 -> int7: that the lording happens and the isopteranness occurs does not hold.; sent11 & int7 -> int8: the isopteranness does not occur.; int6 & int8 -> int9: the stinger does not occur and the isopteranness does not occur.; int9 & sent6 -> int10: the mounding complementation does not occur.; int10 & sent10 -> int11: the mounding monetarist does not occur.; int11 & sent7 -> hypothesis;
that both the insolventness and the historicalness happens is not right.
 -> hypothesis;
$hypothesis$ = the fact that the non-solventness and the historicalness happens is false. ; $context$ = sent1: that the lording happens and the isopteranness happens does not hold if the binariness does not occur. sent2: the binariness does not occur. sent3: the deformationalness does not occur. sent4: the jetting happens and the Avestan occurs if the deformationalness does not occur. sent5: the swabbing occurs. sent6: if the stinger does not occur and the isopteranness does not occur then the mounding complementation does not occur. sent7: that the solventness does not occur and the historicalness occurs is brought about by that the mounding monetarist does not occur. sent8: if the fact that the stinger happens and the urticating sunrise happens is right then the jetting does not occur. sent9: the urticating sunrise happens. sent10: the mounding monetarist does not occur if the mounding complementation does not occur. sent11: if that the fact that both the lording and the isopteranness occurs is not correct hold then that the isopteranness does not occur hold. ; $proof$ = 
void -> assump1: Let's assume that the stinger happens.; assump1 & sent9 -> int1: the stinger and the urticating sunrise occurs.; int1 & sent8 -> int2: the jet does not occur.; sent4 & sent3 -> int3: the jet and the Avestan occurs.; int3 -> int4: the jetting happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the stinger does not occur.; sent1 & sent2 -> int7: that the lording happens and the isopteranness occurs does not hold.; sent11 & int7 -> int8: the isopteranness does not occur.; int6 & int8 -> int9: the stinger does not occur and the isopteranness does not occur.; int9 & sent6 -> int10: the mounding complementation does not occur.; int10 & sent10 -> int11: the mounding monetarist does not occur.; int11 & sent7 -> hypothesis; __DISPROVED__