the herbal is economical.
sent1: the Glengarry does not price Glengarry if there exists something such that the fact that it is not faecal and/or is a kind of a Dianthus is false. sent2: the snorer is a kind of extinguishable thing that does tarnish tawniness if the carrizo is not parasitic. sent3: something is not parasitic if that it does not recede and does not exclude Muybridge is not correct. sent4: the herbal is economical if it does tarnish tawniness. sent5: if something that is an operative does not tarnish tawniness then it is not a Dianthus. sent6: the fact that something recedes is not incorrect. sent7: that the Glengarry is both fictional and not Rhodesian is not incorrect. sent8: something that is not a Dianthus is faecal and prices Glengarry. sent9: the snorer is extinguishable. sent10: if a extinguishable thing does tarnish tawniness it is not a kind of an operative. sent11: if the snorer is not operative that the eatage is non-faecal and/or it is a Dianthus does not hold. sent12: if the Glengarry is fictional thing that is not Rhodesian then the eatage is faecal. sent13: if the eatage is an operative that is not a Dianthus the herbal does tarnish tawniness. sent14: if the Glengarry is economical the clog is an operative that does not tarnish tawniness. sent15: the eatage is faecal or it prices Glengarry or both. sent16: the eatage is not a kind of a Dianthus if it is not non-faecal and/or it does not price Glengarry.
sent12 & sent7 -> int1: the eatage is faecal.; int1 -> int2: the eatage either is faecal or does not price Glengarry or both.; int2 & sent16 -> int3: the eatage is not a Dianthus.;
the fact that the herbal is not economical is right.
sent10 -> int4: if the fact that the snorer is extinguishable and does tarnish tawniness is true it is not operative.; sent3 -> int5: if the fact that that the carrizo does not recede and does not exclude Muybridge is not false does not hold it is not parasitic.;
$hypothesis$ = the herbal is economical. ; $context$ = sent1: the Glengarry does not price Glengarry if there exists something such that the fact that it is not faecal and/or is a kind of a Dianthus is false. sent2: the snorer is a kind of extinguishable thing that does tarnish tawniness if the carrizo is not parasitic. sent3: something is not parasitic if that it does not recede and does not exclude Muybridge is not correct. sent4: the herbal is economical if it does tarnish tawniness. sent5: if something that is an operative does not tarnish tawniness then it is not a Dianthus. sent6: the fact that something recedes is not incorrect. sent7: that the Glengarry is both fictional and not Rhodesian is not incorrect. sent8: something that is not a Dianthus is faecal and prices Glengarry. sent9: the snorer is extinguishable. sent10: if a extinguishable thing does tarnish tawniness it is not a kind of an operative. sent11: if the snorer is not operative that the eatage is non-faecal and/or it is a Dianthus does not hold. sent12: if the Glengarry is fictional thing that is not Rhodesian then the eatage is faecal. sent13: if the eatage is an operative that is not a Dianthus the herbal does tarnish tawniness. sent14: if the Glengarry is economical the clog is an operative that does not tarnish tawniness. sent15: the eatage is faecal or it prices Glengarry or both. sent16: the eatage is not a kind of a Dianthus if it is not non-faecal and/or it does not price Glengarry. ; $proof$ = 
sent12 & sent7 -> int1: the eatage is faecal.; int1 -> int2: the eatage either is faecal or does not price Glengarry or both.; int2 & sent16 -> int3: the eatage is not a Dianthus.; __UNKNOWN__