the spear is a Mastotermitidae.
sent1: if the fact that the spindle is not a Nerthus and is a Mastotermitidae does not hold that the spear is not a Mastotermitidae hold. sent2: that the spear is not therapeutic is true if that the spindle is not a kind of a Nerthus is correct. sent3: if something that is a Nerthus does flutter the horse-pistol is not a citronwood. sent4: something is a Mastotermitidae that chances if it is not therapeutic. sent5: if the horse-pistol is not a flutter then the fact that the spindle is not a Nerthus but a Mastotermitidae is wrong. sent6: that the benzodiazepine does not adjoin horse-pistol and is not a citronwood is not right if the horse-pistol is not a citronwood. sent7: if the horse-pistol does not adjoin horse-pistol then it is a citronwood and is not a flutter. sent8: something that does not remodel slashing does not adjoin horse-pistol and is not a citronwood. sent9: that the fact that the benzodiazepine does not adjoin horse-pistol and is a citronwood is false is correct. sent10: if the horse-pistol does not remodel slashing then it is therapeutic or it is not a chance or both. sent11: the spindle is a flutter. sent12: if something is not non-therapeutic and/or it is not a chance it does not adjoin horse-pistol. sent13: The slashing does not remodel benzodiazepine.
void -> assump1: Let's assume that the spindle is a kind of a Nerthus.; assump1 & sent11 -> int1: the spindle is a Nerthus that flutters.; int1 -> int2: there is something such that it is a Nerthus and it does flutter.; int2 & sent3 -> int3: the horse-pistol is not a citronwood.; int3 & sent6 -> int4: the fact that the benzodiazepine does not adjoin horse-pistol and is not a kind of a citronwood does not hold.; sent8 -> int5: if the benzodiazepine does not remodel slashing the fact that it does not adjoin horse-pistol and it is not a citronwood is true.; sent4 -> int6: if the spear is not therapeutic it is a Mastotermitidae and it chances.;
the spear is not a kind of a Mastotermitidae.
sent12 -> int7: if either the horse-pistol is therapeutic or it does not chance or both it does not adjoin horse-pistol.;
$hypothesis$ = the spear is a Mastotermitidae. ; $context$ = sent1: if the fact that the spindle is not a Nerthus and is a Mastotermitidae does not hold that the spear is not a Mastotermitidae hold. sent2: that the spear is not therapeutic is true if that the spindle is not a kind of a Nerthus is correct. sent3: if something that is a Nerthus does flutter the horse-pistol is not a citronwood. sent4: something is a Mastotermitidae that chances if it is not therapeutic. sent5: if the horse-pistol is not a flutter then the fact that the spindle is not a Nerthus but a Mastotermitidae is wrong. sent6: that the benzodiazepine does not adjoin horse-pistol and is not a citronwood is not right if the horse-pistol is not a citronwood. sent7: if the horse-pistol does not adjoin horse-pistol then it is a citronwood and is not a flutter. sent8: something that does not remodel slashing does not adjoin horse-pistol and is not a citronwood. sent9: that the fact that the benzodiazepine does not adjoin horse-pistol and is a citronwood is false is correct. sent10: if the horse-pistol does not remodel slashing then it is therapeutic or it is not a chance or both. sent11: the spindle is a flutter. sent12: if something is not non-therapeutic and/or it is not a chance it does not adjoin horse-pistol. sent13: The slashing does not remodel benzodiazepine. ; $proof$ = 
void -> assump1: Let's assume that the spindle is a kind of a Nerthus.; assump1 & sent11 -> int1: the spindle is a Nerthus that flutters.; int1 -> int2: there is something such that it is a Nerthus and it does flutter.; int2 & sent3 -> int3: the horse-pistol is not a citronwood.; int3 & sent6 -> int4: the fact that the benzodiazepine does not adjoin horse-pistol and is not a kind of a citronwood does not hold.; sent8 -> int5: if the benzodiazepine does not remodel slashing the fact that it does not adjoin horse-pistol and it is not a citronwood is true.; sent4 -> int6: if the spear is not therapeutic it is a Mastotermitidae and it chances.; __UNKNOWN__