the worker does not total.
sent1: the worker totals if the inflater does totals. sent2: the worker is not a kind of an interstate. sent3: the scoutmaster is not a circuit. sent4: there exists something such that it does not circuit. sent5: everything is not a circuit. sent6: something is bardic but it is not semiotic if that it totals is true. sent7: if something that mythologizes Conocarpus is not a kind of a circuit the worker does not total. sent8: that the focalization is a kind of a subcompact that does not total does not hold if the fact that that something is not yogistic hold is right. sent9: everything does not flesh faithlessness and is not yogistic. sent10: if something that mythologizes Conocarpus is a circuit then the worker does not total.
the worker is bardic but it is not semiotic.
sent6 -> int1: if the fact that the worker totals is right then it is not non-bardic but non-semiotic.; sent9 -> int2: the heparin does not flesh faithlessness and it is not yogistic.; int2 -> int3: the heparin is non-yogistic.; int3 -> int4: there exists something such that the fact that it is non-yogistic is not incorrect.; int4 & sent8 -> int5: the fact that the focalization is a subcompact that does not total is not true.; int5 -> int6: there is something such that the fact that it is a subcompact and does not total does not hold.;
$hypothesis$ = the worker does not total. ; $context$ = sent1: the worker totals if the inflater does totals. sent2: the worker is not a kind of an interstate. sent3: the scoutmaster is not a circuit. sent4: there exists something such that it does not circuit. sent5: everything is not a circuit. sent6: something is bardic but it is not semiotic if that it totals is true. sent7: if something that mythologizes Conocarpus is not a kind of a circuit the worker does not total. sent8: that the focalization is a kind of a subcompact that does not total does not hold if the fact that that something is not yogistic hold is right. sent9: everything does not flesh faithlessness and is not yogistic. sent10: if something that mythologizes Conocarpus is a circuit then the worker does not total. ; $proof$ = 
__UNKNOWN__