the Hippocampus is not a kind of a triamcinolone.
sent1: the Hippocampus is non-high-interest if there exists something such that that it does not decoy Cumberland and it foals mentality is right. sent2: if something is a kind of non-high-interest thing that does not decoy stoutheartedness then it is not a triamcinolone. sent3: the Lascar is a perplexity. sent4: the Hippocampus is cordless if the gold is not cordless and it is not a perplexity. sent5: there is something such that the fact that that it is non-higher thing that is not a kind of a popcorn hold is wrong. sent6: the Hippocampus is not high-interest if something that does not decoy Cumberland does not foal mentality. sent7: if the gold is not trivalent that the Hippocampus is not a triamcinolone but it decoys stoutheartedness does not hold. sent8: if there exists something such that the fact that it is not higher and not a popcorn is not right then the Hippocampus is trivalent. sent9: if something is a kind of trivalent thing that decoys stoutheartedness that it is not cordless is true. sent10: the gold is not cordless. sent11: there is something such that it does not decoy Cumberland and it does not foal mentality.
sent5 & sent8 -> int1: the Hippocampus is not non-trivalent.; void -> assump1: Let's assume that the Hippocampus decoys stoutheartedness.; int1 & assump1 -> int2: the Hippocampus is trivalent and does decoy stoutheartedness.; sent9 -> int3: if the Hippocampus is a kind of trivalent thing that does decoy stoutheartedness then it is not cordless.; int2 & int3 -> int4: the Hippocampus is not cordless.; sent11 & sent6 -> int5: that the Hippocampus is not high-interest hold.; sent2 -> int6: the Hippocampus is not a kind of a triamcinolone if it is not high-interest and it does not decoy stoutheartedness.;
the Hippocampus is a kind of a triamcinolone.
sent3 -> int7: there is something such that it is a perplexity.;
$hypothesis$ = the Hippocampus is not a kind of a triamcinolone. ; $context$ = sent1: the Hippocampus is non-high-interest if there exists something such that that it does not decoy Cumberland and it foals mentality is right. sent2: if something is a kind of non-high-interest thing that does not decoy stoutheartedness then it is not a triamcinolone. sent3: the Lascar is a perplexity. sent4: the Hippocampus is cordless if the gold is not cordless and it is not a perplexity. sent5: there is something such that the fact that that it is non-higher thing that is not a kind of a popcorn hold is wrong. sent6: the Hippocampus is not high-interest if something that does not decoy Cumberland does not foal mentality. sent7: if the gold is not trivalent that the Hippocampus is not a triamcinolone but it decoys stoutheartedness does not hold. sent8: if there exists something such that the fact that it is not higher and not a popcorn is not right then the Hippocampus is trivalent. sent9: if something is a kind of trivalent thing that decoys stoutheartedness that it is not cordless is true. sent10: the gold is not cordless. sent11: there is something such that it does not decoy Cumberland and it does not foal mentality. ; $proof$ = 
sent5 & sent8 -> int1: the Hippocampus is not non-trivalent.; void -> assump1: Let's assume that the Hippocampus decoys stoutheartedness.; int1 & assump1 -> int2: the Hippocampus is trivalent and does decoy stoutheartedness.; sent9 -> int3: if the Hippocampus is a kind of trivalent thing that does decoy stoutheartedness then it is not cordless.; int2 & int3 -> int4: the Hippocampus is not cordless.; sent11 & sent6 -> int5: that the Hippocampus is not high-interest hold.; sent2 -> int6: the Hippocampus is not a kind of a triamcinolone if it is not high-interest and it does not decoy stoutheartedness.; __UNKNOWN__