the fact that the metalware is not nonterritorial is correct.
sent1: the cuspidation hands gatherer if it overstrains cockhorse. sent2: the metalware is apocrine and not nonterritorial if that the Sumatran is not apocrine is not false. sent3: the Sumatran is not a monoblast if the cuspidation overstrains blessedness and it is a kind of a rockrose. sent4: if something that hands gatherer does not overstrain blessedness then it is not apocrine. sent5: if the metalware is apocrine then the Sumatran is nonterritorial. sent6: if the fact that either the Sumatran does indurate or it is a kind of a monoblast or both is wrong the metalware does not indurate. sent7: something is a rockrose and nonterritorial if the fact that it does not indurate hold. sent8: the Sumatran is a rockrose and does indurate. sent9: the cuspidation does not overstrain blessedness if the Sumatran overstrains cockhorse and it indurates. sent10: the Sumatran is apocrine thing that is not a kind of a rockrose if the gossip is not apocrine. sent11: if the Sumatran is apocrine and it indurates then the gossip is not a monoblast. sent12: the fact that the gossip is not non-apocrine hold. sent13: if the cuspidation hands gatherer the gossip is a kind of a monoblast. sent14: the Sumatran overstrains cockhorse and/or is not non-apocrine. sent15: the gossip does not purify. sent16: that the Sumatran does indurate or is a monoblast or both is incorrect if the gossip is not apocrine. sent17: the livestock does overstrain blessedness. sent18: the cuspidation is a kind of a rockrose. sent19: the cuspidation overstrains blessedness and/or does overstrain cockhorse. sent20: the starboard is a sweatshirt if it is a kind of a smallmouth. sent21: the metalware overstrains blessedness and is apocrine.
sent8 -> int1: the Sumatran does indurate.; void -> assump1: Let's assume that that the Sumatran is apocrine is not false.; int1 & assump1 -> int2: that the Sumatran is a kind of apocrine thing that does indurate is true.; int2 & sent11 -> int3: the gossip is not a monoblast.;
the metalware is nonterritorial.
sent7 -> int4: the metalware is a rockrose that is nonterritorial if it does not indurate.; sent4 -> int5: the gossip is not apocrine if it hands gatherer and does not overstrain blessedness.;
$hypothesis$ = the fact that the metalware is not nonterritorial is correct. ; $context$ = sent1: the cuspidation hands gatherer if it overstrains cockhorse. sent2: the metalware is apocrine and not nonterritorial if that the Sumatran is not apocrine is not false. sent3: the Sumatran is not a monoblast if the cuspidation overstrains blessedness and it is a kind of a rockrose. sent4: if something that hands gatherer does not overstrain blessedness then it is not apocrine. sent5: if the metalware is apocrine then the Sumatran is nonterritorial. sent6: if the fact that either the Sumatran does indurate or it is a kind of a monoblast or both is wrong the metalware does not indurate. sent7: something is a rockrose and nonterritorial if the fact that it does not indurate hold. sent8: the Sumatran is a rockrose and does indurate. sent9: the cuspidation does not overstrain blessedness if the Sumatran overstrains cockhorse and it indurates. sent10: the Sumatran is apocrine thing that is not a kind of a rockrose if the gossip is not apocrine. sent11: if the Sumatran is apocrine and it indurates then the gossip is not a monoblast. sent12: the fact that the gossip is not non-apocrine hold. sent13: if the cuspidation hands gatherer the gossip is a kind of a monoblast. sent14: the Sumatran overstrains cockhorse and/or is not non-apocrine. sent15: the gossip does not purify. sent16: that the Sumatran does indurate or is a monoblast or both is incorrect if the gossip is not apocrine. sent17: the livestock does overstrain blessedness. sent18: the cuspidation is a kind of a rockrose. sent19: the cuspidation overstrains blessedness and/or does overstrain cockhorse. sent20: the starboard is a sweatshirt if it is a kind of a smallmouth. sent21: the metalware overstrains blessedness and is apocrine. ; $proof$ = 
sent8 -> int1: the Sumatran does indurate.; void -> assump1: Let's assume that that the Sumatran is apocrine is not false.; int1 & assump1 -> int2: that the Sumatran is a kind of apocrine thing that does indurate is true.; int2 & sent11 -> int3: the gossip is not a monoblast.; __UNKNOWN__