the supertwister happens and/or the slaving languor does not occur if the conduction occurs.
sent1: the slaving tug-of-war happens if the non-nonoperationalness and the non-anabolicness happens. sent2: that not the creep but the bestirring debenture occurs causes the supertwister. sent3: that the creeping does not occur and the bestirring debenture happens does not hold. sent4: the conduction does not occur if the bestirring debenture happens. sent5: if the conduction happens either the supertwister happens or the slaving languor happens or both. sent6: the bestirring thrash occurs and/or the liquefying royalism does not occur if the indispensableness occurs. sent7: the conduction happens if the fact that the creeping does not occur and the bestirring debenture does not occur is not true. sent8: if the hero occurs the scouring phial or the non-masonicness or both occurs. sent9: that the adjuring does not occur is not wrong if the fact that the conduction but not the supertwister occurs does not hold. sent10: both the liquefying royalism and the liquefying cholangiography happens if the dedication does not occur. sent11: if the fact that the creep does not occur and the bestirring debenture does not occur does not hold the conduction does not occur. sent12: either the supertwister or the slaving languor or both happens. sent13: the seediness happens. sent14: the fact that the bestirring debenture does not occur is not incorrect. sent15: the dedication does not occur if the bestirring redoubt occurs but the slaving one-liner does not occur. sent16: if the liquefying cholangiography occurs the slaving languor happens.
void -> assump1: Let's assume that the conduction occurs.; void -> assump2: Let's assume that that the creep does not occur and the bestirring debenture does not occur does not hold.; sent11 & assump2 -> int1: the conduction does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the creep does not occur and the bestirring debenture does not occur.;
the emigrating happens or the adjuring does not occur or both.
$hypothesis$ = the supertwister happens and/or the slaving languor does not occur if the conduction occurs. ; $context$ = sent1: the slaving tug-of-war happens if the non-nonoperationalness and the non-anabolicness happens. sent2: that not the creep but the bestirring debenture occurs causes the supertwister. sent3: that the creeping does not occur and the bestirring debenture happens does not hold. sent4: the conduction does not occur if the bestirring debenture happens. sent5: if the conduction happens either the supertwister happens or the slaving languor happens or both. sent6: the bestirring thrash occurs and/or the liquefying royalism does not occur if the indispensableness occurs. sent7: the conduction happens if the fact that the creeping does not occur and the bestirring debenture does not occur is not true. sent8: if the hero occurs the scouring phial or the non-masonicness or both occurs. sent9: that the adjuring does not occur is not wrong if the fact that the conduction but not the supertwister occurs does not hold. sent10: both the liquefying royalism and the liquefying cholangiography happens if the dedication does not occur. sent11: if the fact that the creep does not occur and the bestirring debenture does not occur does not hold the conduction does not occur. sent12: either the supertwister or the slaving languor or both happens. sent13: the seediness happens. sent14: the fact that the bestirring debenture does not occur is not incorrect. sent15: the dedication does not occur if the bestirring redoubt occurs but the slaving one-liner does not occur. sent16: if the liquefying cholangiography occurs the slaving languor happens. ; $proof$ = 
void -> assump1: Let's assume that the conduction occurs.; void -> assump2: Let's assume that that the creep does not occur and the bestirring debenture does not occur does not hold.; sent11 & assump2 -> int1: the conduction does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the creep does not occur and the bestirring debenture does not occur.; __UNKNOWN__