the staging usury results in that the ergotropicness but not the venipuncture happens.
sent1: if the plonk happens the clearing flier happens. sent2: the two-wheelness happens or the companying fistmele occurs or both. sent3: the fixating occurs. sent4: the clearing Gymnocalycium occurs and/or the ornithologicalness happens. sent5: the fact that the ergotropicness occurs is not incorrect if the clearing Mesua occurs. sent6: the conglutinating does not occur. sent7: if the pleasing happens that the ergotropicness occurs hold. sent8: if the nonfinancialness happens or the venipuncture happens or both then the staging usury occurs. sent9: the left does not occur if the leaping happens. sent10: the solubleness happens. sent11: if the fact that the overture happens is true then the aspectualness occurs but the signing Irish does not occur. sent12: the signing infirmity and/or the updating occurs. sent13: if the nonfinancialness or the venipuncture or both happens then the staging usury does not occur. sent14: the companying micropyle occurs. sent15: the fact that the signing plastron does not occur is not false if that the Arabian happens or the heartbreaker occurs or both is not wrong. sent16: the cyclonicness does not occur if the proudness occurs. sent17: the uplandness does not occur if that the venipuncture happens and the uplandness happens is not true. sent18: if that the nonfinancialness occurs is not false the staging usury does not occur.
void -> assump1: Let's assume that the venipuncture happens.; assump1 -> int1: either the nonfinancialness or the venipuncture or both happens.; int1 & sent13 -> int2: the staging usury does not occur.; void -> assump2: Let's assume that the staging usury happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the venipuncture does not occur.;
the uplandness does not occur.
$hypothesis$ = the staging usury results in that the ergotropicness but not the venipuncture happens. ; $context$ = sent1: if the plonk happens the clearing flier happens. sent2: the two-wheelness happens or the companying fistmele occurs or both. sent3: the fixating occurs. sent4: the clearing Gymnocalycium occurs and/or the ornithologicalness happens. sent5: the fact that the ergotropicness occurs is not incorrect if the clearing Mesua occurs. sent6: the conglutinating does not occur. sent7: if the pleasing happens that the ergotropicness occurs hold. sent8: if the nonfinancialness happens or the venipuncture happens or both then the staging usury occurs. sent9: the left does not occur if the leaping happens. sent10: the solubleness happens. sent11: if the fact that the overture happens is true then the aspectualness occurs but the signing Irish does not occur. sent12: the signing infirmity and/or the updating occurs. sent13: if the nonfinancialness or the venipuncture or both happens then the staging usury does not occur. sent14: the companying micropyle occurs. sent15: the fact that the signing plastron does not occur is not false if that the Arabian happens or the heartbreaker occurs or both is not wrong. sent16: the cyclonicness does not occur if the proudness occurs. sent17: the uplandness does not occur if that the venipuncture happens and the uplandness happens is not true. sent18: if that the nonfinancialness occurs is not false the staging usury does not occur. ; $proof$ = 
void -> assump1: Let's assume that the venipuncture happens.; assump1 -> int1: either the nonfinancialness or the venipuncture or both happens.; int1 & sent13 -> int2: the staging usury does not occur.; void -> assump2: Let's assume that the staging usury happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the venipuncture does not occur.; __UNKNOWN__