the club-moss is a Muskhogean and it is a Perca.
sent1: that the hashish is a kind of a Oliver that is not endoparasitic does not hold. sent2: if the thyme is a Wilmut then the club-moss is a Perca. sent3: that the thyme is a Wilmut that does not covet trimmer does not hold. sent4: the fact that the hashish does covet trimmer and is not a wicker is not true if it does not covet compartmentalization. sent5: the fact that the hashish is not a gabardine and not undeniable is not correct if it is not a Oliver. sent6: the club-moss is a kind of a Perca if the fact that the thyme is not a Wilmut and it does not covet trimmer is incorrect. sent7: the club-moss is an alcoholic. sent8: the hashish is not a kind of a Oliver if the fact that it is a Oliver that is not endoparasitic is false. sent9: if the fact that something is not a gabardine and is not undeniable is not correct then it does not covet compartmentalization. sent10: if the thyme is not a kind of an alcoholic the fact that the club-moss is a Muskhogean and a Perca is incorrect. sent11: if the thyme is a kind of a Muskhogean and it is a Perca the club-moss is not alcoholic. sent12: the club-moss is an alcoholic and it is a kind of a Muskhogean.
sent12 -> int1: the club-moss is a Muskhogean.;
the fact that the club-moss is a Muskhogean and it is a Perca is incorrect.
sent9 -> int2: the hashish does not covet compartmentalization if that it is not a kind of a gabardine and it is not undeniable is wrong.; sent8 & sent1 -> int3: the hashish is not a Oliver.; sent5 & int3 -> int4: the fact that the hashish is not a gabardine and it is not undeniable is incorrect.; int2 & int4 -> int5: the hashish does not covet compartmentalization.; sent4 & int5 -> int6: that the hashish does covet trimmer and is not a wicker is not correct.; int6 -> int7: there exists something such that that it covets trimmer and is not a wicker does not hold.;
$hypothesis$ = the club-moss is a Muskhogean and it is a Perca. ; $context$ = sent1: that the hashish is a kind of a Oliver that is not endoparasitic does not hold. sent2: if the thyme is a Wilmut then the club-moss is a Perca. sent3: that the thyme is a Wilmut that does not covet trimmer does not hold. sent4: the fact that the hashish does covet trimmer and is not a wicker is not true if it does not covet compartmentalization. sent5: the fact that the hashish is not a gabardine and not undeniable is not correct if it is not a Oliver. sent6: the club-moss is a kind of a Perca if the fact that the thyme is not a Wilmut and it does not covet trimmer is incorrect. sent7: the club-moss is an alcoholic. sent8: the hashish is not a kind of a Oliver if the fact that it is a Oliver that is not endoparasitic is false. sent9: if the fact that something is not a gabardine and is not undeniable is not correct then it does not covet compartmentalization. sent10: if the thyme is not a kind of an alcoholic the fact that the club-moss is a Muskhogean and a Perca is incorrect. sent11: if the thyme is a kind of a Muskhogean and it is a Perca the club-moss is not alcoholic. sent12: the club-moss is an alcoholic and it is a kind of a Muskhogean. ; $proof$ = 
sent12 -> int1: the club-moss is a Muskhogean.; __UNKNOWN__