that if the autotomy does not occur then the weightlessness does not occur does not hold.
sent1: the branchiopodness happens. sent2: that the weightlessness does not occur is prevented by that the autotomy does not occur. sent3: the anthropophagy does not occur. sent4: the fortunateness happens. sent5: the Cyprianness occurs. sent6: the prerequisite does not occur. sent7: if the magnetizing P.A. and/or the weightlessness occurs the Aegean does not occur. sent8: the criticizing milliard occurs. sent9: if the autotomy occurs the weightlessness does not occur. sent10: if that both the non-weightlessness and the unexchangeableness occurs does not hold then the unexchangeableness does not occur. sent11: that the pot does not occur is brought about by that the inducement happens and/or that the criticizing perceiver happens. sent12: the servileness happens if the Aegeanness does not occur. sent13: the magnetizing P.A. happens. sent14: if the choreographicness happens the transitioning happens. sent15: the autotomy happens if the servileness happens. sent16: the spiccato does not occur.
void -> assump2: Let's assume that the weightlessness happens.; assump2 -> int1: the magnetizing P.A. occurs and/or the weightlessness happens.; sent7 & int1 -> int2: the Aegean does not occur.; sent12 & int2 -> int3: the fact that the servileness occurs hold.; sent15 & int3 -> int4: that the autotomy occurs hold.; void -> assump1: Let's assume that the autotomy does not occur.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the weightlessness does not occur.; [assump1] & int6 -> hypothesis;
the unexchangeableness does not occur.
$hypothesis$ = that if the autotomy does not occur then the weightlessness does not occur does not hold. ; $context$ = sent1: the branchiopodness happens. sent2: that the weightlessness does not occur is prevented by that the autotomy does not occur. sent3: the anthropophagy does not occur. sent4: the fortunateness happens. sent5: the Cyprianness occurs. sent6: the prerequisite does not occur. sent7: if the magnetizing P.A. and/or the weightlessness occurs the Aegean does not occur. sent8: the criticizing milliard occurs. sent9: if the autotomy occurs the weightlessness does not occur. sent10: if that both the non-weightlessness and the unexchangeableness occurs does not hold then the unexchangeableness does not occur. sent11: that the pot does not occur is brought about by that the inducement happens and/or that the criticizing perceiver happens. sent12: the servileness happens if the Aegeanness does not occur. sent13: the magnetizing P.A. happens. sent14: if the choreographicness happens the transitioning happens. sent15: the autotomy happens if the servileness happens. sent16: the spiccato does not occur. ; $proof$ = 
void -> assump2: Let's assume that the weightlessness happens.; assump2 -> int1: the magnetizing P.A. occurs and/or the weightlessness happens.; sent7 & int1 -> int2: the Aegean does not occur.; sent12 & int2 -> int3: the fact that the servileness occurs hold.; sent15 & int3 -> int4: that the autotomy occurs hold.; void -> assump1: Let's assume that the autotomy does not occur.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the weightlessness does not occur.; [assump1] & int6 -> hypothesis; __DISPROVED__