that the regulation does not occur is prevented by the tossing terbium.
sent1: if the closed-circuitness occurs the honing audacity does not occur. sent2: the tossing terbium does not occur if the belt does not occur. sent3: that the cautiousness happens leads to that the closed-circuitness occurs. sent4: the tossing Phylloxeridae and the honing audacity occurs if that the belting does not occur is not false. sent5: that the belt occurs and the tossing Phylloxeridae occurs is not right if the honing audacity does not occur. sent6: the apostolicness does not occur. sent7: the honing bluegill does not occur. sent8: if both the incautiousness and the closed-circuitness occurs the devisal occurs. sent9: if the fact that the belt and the tossing Phylloxeridae occurs is not right the tossing terbium happens. sent10: the crook does not occur if the cautiousness does not occur. sent11: the fact that the branching immateriality does not occur is not false. sent12: the evisceration does not occur. sent13: the wipeout does not occur. sent14: if the fact that the belt occurs and the tossing Phylloxeridae happens is incorrect then the tossing terbium does not occur. sent15: the Slav does not occur. sent16: the Tuscan occurs. sent17: that the decline happens prevents that the hydrophilicness does not occur.
void -> assump2: Let's assume that the tossing terbium happens.; void -> assump1: Let's assume that the cautiousness happens.; sent3 & assump1 -> int1: the closed-circuitness happens.; sent1 & int1 -> int2: the honing audacity does not occur.; sent5 & int2 -> int3: the fact that both the belt and the tossing Phylloxeridae occurs does not hold.; sent14 & int3 -> int4: the tossing terbium does not occur.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the cautiousness does not occur.; sent10 & int6 -> int7: the crooking does not occur.;
the devisal occurs.
$hypothesis$ = that the regulation does not occur is prevented by the tossing terbium. ; $context$ = sent1: if the closed-circuitness occurs the honing audacity does not occur. sent2: the tossing terbium does not occur if the belt does not occur. sent3: that the cautiousness happens leads to that the closed-circuitness occurs. sent4: the tossing Phylloxeridae and the honing audacity occurs if that the belting does not occur is not false. sent5: that the belt occurs and the tossing Phylloxeridae occurs is not right if the honing audacity does not occur. sent6: the apostolicness does not occur. sent7: the honing bluegill does not occur. sent8: if both the incautiousness and the closed-circuitness occurs the devisal occurs. sent9: if the fact that the belt and the tossing Phylloxeridae occurs is not right the tossing terbium happens. sent10: the crook does not occur if the cautiousness does not occur. sent11: the fact that the branching immateriality does not occur is not false. sent12: the evisceration does not occur. sent13: the wipeout does not occur. sent14: if the fact that the belt occurs and the tossing Phylloxeridae happens is incorrect then the tossing terbium does not occur. sent15: the Slav does not occur. sent16: the Tuscan occurs. sent17: that the decline happens prevents that the hydrophilicness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the tossing terbium happens.; void -> assump1: Let's assume that the cautiousness happens.; sent3 & assump1 -> int1: the closed-circuitness happens.; sent1 & int1 -> int2: the honing audacity does not occur.; sent5 & int2 -> int3: the fact that both the belt and the tossing Phylloxeridae occurs does not hold.; sent14 & int3 -> int4: the tossing terbium does not occur.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the cautiousness does not occur.; sent10 & int6 -> int7: the crooking does not occur.; __UNKNOWN__