that the standard-bearer is peripteral is true.
sent1: if there exists something such that it is a kind of a Gauguin that the standard-bearer is peripteral is not wrong. sent2: something is a cyclooxygenase but it is not a kind of a forte if it is a Gauguin. sent3: that something does not outflank perpendicular and it is not peripteral does not hold if it is a kind of a Yellowknife. sent4: the carrizo is a forte. sent5: the standard-bearer is a kind of a Yellowknife that is a anticyclone if it is not a Aga. sent6: the standard-bearer is not a Aga. sent7: the airmailer is a cyclooxygenase if the carrizo is a cyclooxygenase.
sent4 -> int1: the carrizo is a forte and/or it is a Gauguin.; int1 -> int2: there is something such that either it is a kind of a forte or it is a kind of a Gauguin or both.;
the airmailer is sorrowful or it is a kind of a cyclooxygenase or both.
sent2 -> int3: if the carrizo is a Gauguin then it is a kind of a cyclooxygenase and it is not forte.; sent3 -> int4: the fact that the standard-bearer does not outflank perpendicular and is not peripteral is false if it is a Yellowknife.; sent5 & sent6 -> int5: the fact that the standard-bearer is a kind of a Yellowknife and it is a anticyclone is not wrong.; int5 -> int6: the standard-bearer is a Yellowknife.; int4 & int6 -> int7: that the standard-bearer does not outflank perpendicular and is not peripteral is not correct.;
$hypothesis$ = that the standard-bearer is peripteral is true. ; $context$ = sent1: if there exists something such that it is a kind of a Gauguin that the standard-bearer is peripteral is not wrong. sent2: something is a cyclooxygenase but it is not a kind of a forte if it is a Gauguin. sent3: that something does not outflank perpendicular and it is not peripteral does not hold if it is a kind of a Yellowknife. sent4: the carrizo is a forte. sent5: the standard-bearer is a kind of a Yellowknife that is a anticyclone if it is not a Aga. sent6: the standard-bearer is not a Aga. sent7: the airmailer is a cyclooxygenase if the carrizo is a cyclooxygenase. ; $proof$ = 
sent4 -> int1: the carrizo is a forte and/or it is a Gauguin.; int1 -> int2: there is something such that either it is a kind of a forte or it is a kind of a Gauguin or both.; __UNKNOWN__