the Shaker is both not allotropic and nosohusial.
sent1: if the nerveroot is not a voodoo the motley is either non-mild or not non-granulocytic or both. sent2: the motley does not reinforce Zizania. sent3: the nerveroot is a kind of a battle-ax if the motley is a battle-ax. sent4: if something is a voodoo it is Turkic. sent5: the motley does mist and it is a battle-ax if it does not reinforce Zizania. sent6: The Colt does not comfort Shaker. sent7: the nerveroot does not voodoo if there exists something such that that it is precocious thing that is not a kind of a baggageman is false. sent8: if either the nerveroot is a Texan or it does not comfort Colt or both it is glabellar. sent9: something is nosohusial and it is glabellar if it does not comfort Colt. sent10: the Shaker is not allotropic if the ashcake does not sweeten marl and is a battle-ax. sent11: the choc is Turkic. sent12: something that either is not mild or is granulocytic or both does not sweeten marl. sent13: if that something does not sweeten marl and is not mild is wrong then it is mild. sent14: the fact that the choc is precocious and is not a baggageman is not correct if it is Turkic. sent15: if something does not comfort Colt then it is glabellar. sent16: if something is granulocytic the fact that it does not sweeten marl and is not mild does not hold. sent17: the Shaker does not comfort Colt. sent18: the Shaker voodoos if the choc is mild. sent19: the nerveroot is Texan and/or does not comfort Colt. sent20: the excelsior is not allotropic but a Brother. sent21: if something is Turkic the fact that it is not allotropic but nosohusial does not hold. sent22: the ashcake does not sweeten marl but it is a battle-ax if the motley does not sweeten marl.
sent14 & sent11 -> int1: the fact that the choc is precocious thing that is not a baggageman is not true.; int1 -> int2: there exists something such that that it is precocious and it is not a baggageman is not correct.; int2 & sent7 -> int3: the nerveroot is not a voodoo.; int3 & sent1 -> int4: the motley is non-mild or granulocytic or both.; sent12 -> int5: if the fact that the motley is non-mild or granulocytic or both is not false then it does not sweeten marl.; int4 & int5 -> int6: the motley does not sweeten marl.; int6 & sent22 -> int7: the ashcake does not sweeten marl and is a battle-ax.; int7 & sent10 -> int8: the Shaker is not allotropic.; sent9 -> int9: if the Shaker does not comfort Colt then it is nosohusial thing that is glabellar.; int9 & sent17 -> int10: the Shaker is nosohusial and it is glabellar.; int10 -> int11: the Shaker is nosohusial.; int8 & int11 -> hypothesis;
that the Shaker is not allotropic but it is nosohusial is not true.
sent21 -> int12: if the Shaker is Turkic then the fact that it is not allotropic but nosohusial is incorrect.; sent4 -> int13: if the Shaker is a voodoo it is Turkic.; sent13 -> int14: the choc is mild if the fact that that it does not sweeten marl and it is not mild is not wrong is incorrect.; sent16 -> int15: that that the choc does not sweeten marl and is not mild is not incorrect is false if it is granulocytic.; sent5 & sent2 -> int16: the motley is a mist and is a battle-ax.; int16 -> int17: the motley is a battle-ax.; sent3 & int17 -> int18: the nerveroot is a battle-ax.; sent8 & sent19 -> int19: the nerveroot is glabellar.; int18 & int19 -> int20: the nerveroot is a kind of a battle-ax and it is glabellar.; int20 -> int21: there is something such that it is a battle-ax and it is glabellar.;
$hypothesis$ = the Shaker is both not allotropic and nosohusial. ; $context$ = sent1: if the nerveroot is not a voodoo the motley is either non-mild or not non-granulocytic or both. sent2: the motley does not reinforce Zizania. sent3: the nerveroot is a kind of a battle-ax if the motley is a battle-ax. sent4: if something is a voodoo it is Turkic. sent5: the motley does mist and it is a battle-ax if it does not reinforce Zizania. sent6: The Colt does not comfort Shaker. sent7: the nerveroot does not voodoo if there exists something such that that it is precocious thing that is not a kind of a baggageman is false. sent8: if either the nerveroot is a Texan or it does not comfort Colt or both it is glabellar. sent9: something is nosohusial and it is glabellar if it does not comfort Colt. sent10: the Shaker is not allotropic if the ashcake does not sweeten marl and is a battle-ax. sent11: the choc is Turkic. sent12: something that either is not mild or is granulocytic or both does not sweeten marl. sent13: if that something does not sweeten marl and is not mild is wrong then it is mild. sent14: the fact that the choc is precocious and is not a baggageman is not correct if it is Turkic. sent15: if something does not comfort Colt then it is glabellar. sent16: if something is granulocytic the fact that it does not sweeten marl and is not mild does not hold. sent17: the Shaker does not comfort Colt. sent18: the Shaker voodoos if the choc is mild. sent19: the nerveroot is Texan and/or does not comfort Colt. sent20: the excelsior is not allotropic but a Brother. sent21: if something is Turkic the fact that it is not allotropic but nosohusial does not hold. sent22: the ashcake does not sweeten marl but it is a battle-ax if the motley does not sweeten marl. ; $proof$ = 
sent14 & sent11 -> int1: the fact that the choc is precocious thing that is not a baggageman is not true.; int1 -> int2: there exists something such that that it is precocious and it is not a baggageman is not correct.; int2 & sent7 -> int3: the nerveroot is not a voodoo.; int3 & sent1 -> int4: the motley is non-mild or granulocytic or both.; sent12 -> int5: if the fact that the motley is non-mild or granulocytic or both is not false then it does not sweeten marl.; int4 & int5 -> int6: the motley does not sweeten marl.; int6 & sent22 -> int7: the ashcake does not sweeten marl and is a battle-ax.; int7 & sent10 -> int8: the Shaker is not allotropic.; sent9 -> int9: if the Shaker does not comfort Colt then it is nosohusial thing that is glabellar.; int9 & sent17 -> int10: the Shaker is nosohusial and it is glabellar.; int10 -> int11: the Shaker is nosohusial.; int8 & int11 -> hypothesis; __PROVED__