the fact that the hillside is both not a cut and gemmiferous does not hold.
sent1: that the hillside is not gemmiferous and betters screwbean is incorrect if that there is something such that the fact that it is not nonarbitrary hold is not incorrect. sent2: if something does not better screwbean that that the capercaillie is cut and it is nonarbitrary is right is not true. sent3: if something is a fossil it is not a kind of a cut and it is gemmiferous. sent4: the fingerling is not a fossil. sent5: the fingerling is not a aecium if the capercaillie does not better screwbean and is a fossil. sent6: the fact that the capercaillie does not better screwbean if that the fingerling is nonarbitrary and it is a kind of a cupbearer is wrong is not incorrect. sent7: that the fingerling is nonarbitrary thing that is a kind of a cupbearer is not true if it is not a fossil.
sent7 & sent4 -> int1: that the fingerling is nonarbitrary a cupbearer is incorrect.; int1 & sent6 -> int2: the capercaillie does not better screwbean.; int2 -> int3: there exists something such that it does not better screwbean.;
the hillside is not a cut but gemmiferous.
sent3 -> int4: if the fingerling is a fossil it is both not cut and gemmiferous.;
$hypothesis$ = the fact that the hillside is both not a cut and gemmiferous does not hold. ; $context$ = sent1: that the hillside is not gemmiferous and betters screwbean is incorrect if that there is something such that the fact that it is not nonarbitrary hold is not incorrect. sent2: if something does not better screwbean that that the capercaillie is cut and it is nonarbitrary is right is not true. sent3: if something is a fossil it is not a kind of a cut and it is gemmiferous. sent4: the fingerling is not a fossil. sent5: the fingerling is not a aecium if the capercaillie does not better screwbean and is a fossil. sent6: the fact that the capercaillie does not better screwbean if that the fingerling is nonarbitrary and it is a kind of a cupbearer is wrong is not incorrect. sent7: that the fingerling is nonarbitrary thing that is a kind of a cupbearer is not true if it is not a fossil. ; $proof$ = 
sent7 & sent4 -> int1: that the fingerling is nonarbitrary a cupbearer is incorrect.; int1 & sent6 -> int2: the capercaillie does not better screwbean.; int2 -> int3: there exists something such that it does not better screwbean.; __UNKNOWN__