there is something such that it is counterterror and it is a Tunisian.
sent1: there are counterterror things. sent2: the Parisian is a kind of counterterror a prior if there exists something such that it is not a kind of a puncture. sent3: there is something such that the fact that it is a Tunisian and it is a prior is false. sent4: there is something such that it is a puncture. sent5: the Parisian is a prior. sent6: the Parisian is a Tunisian if there is something such that that it does drink leftovers and it is a Charlottetown does not hold. sent7: the shore is not a puncture. sent8: something is a Tunisian. sent9: if there exists something such that it is not a Charlottetown then the Parisian is a kind of a Tunisian. sent10: if something is a prior it is a kind of a displeasure. sent11: if there exists something such that the fact that it does not puncture is correct the Parisian is a prior. sent12: the riverbank is a woodsman if something is counterterror but it is not a Tunisian. sent13: the cobaltite is both not non-counterterror and not a Tunisian.
sent7 -> int1: there is something such that it does not puncture.; int1 & sent2 -> int2: the Parisian is counterterror and it is a kind of a prior.; int2 -> int3: the Parisian is counterterror.;
the riverbank is a woodsman and it is a displeasure.
sent13 -> int4: there exists something such that it is counterterror and is not Tunisian.; int4 & sent12 -> int5: the riverbank is a woodsman.; sent10 -> int6: if the riverbank is a prior it is a kind of a displeasure.;
$hypothesis$ = there is something such that it is counterterror and it is a Tunisian. ; $context$ = sent1: there are counterterror things. sent2: the Parisian is a kind of counterterror a prior if there exists something such that it is not a kind of a puncture. sent3: there is something such that the fact that it is a Tunisian and it is a prior is false. sent4: there is something such that it is a puncture. sent5: the Parisian is a prior. sent6: the Parisian is a Tunisian if there is something such that that it does drink leftovers and it is a Charlottetown does not hold. sent7: the shore is not a puncture. sent8: something is a Tunisian. sent9: if there exists something such that it is not a Charlottetown then the Parisian is a kind of a Tunisian. sent10: if something is a prior it is a kind of a displeasure. sent11: if there exists something such that the fact that it does not puncture is correct the Parisian is a prior. sent12: the riverbank is a woodsman if something is counterterror but it is not a Tunisian. sent13: the cobaltite is both not non-counterterror and not a Tunisian. ; $proof$ = 
sent7 -> int1: there is something such that it does not puncture.; int1 & sent2 -> int2: the Parisian is counterterror and it is a kind of a prior.; int2 -> int3: the Parisian is counterterror.; __UNKNOWN__