the wind is a fight.
sent1: the fact that the crupper is a kind of an anger and it does fight is not correct. sent2: the fact that the wind does fight and it mints throw-in is false. sent3: if the fact that something is meaningful or does not slice Apache or both is false then it does not fight. sent4: that the pinche is characteristic and it is profound is incorrect. sent5: there exists nothing such that it is an anger but not uncharacteristic. sent6: the fact that the wind does fight and is an anger does not hold. sent7: there is nothing such that it angers and it does fight. sent8: the wind is a softener. sent9: the wind is a kind of an anger if there is something such that the fact that it is a characteristic and a fight is not true. sent10: the fact that the crupper mints clatter is right. sent11: that the Massachuset is meaningful and it is a kind of a fight is wrong if the crepe does not slice Apache. sent12: there exists something such that the fact that it slices Apache and does mint crepe is wrong. sent13: there exists nothing that is a kind of a sumac and is a libertarianism. sent14: if that something is not an anger is correct then the wind is a fight.
sent5 -> int1: the fact that the crupper is an anger and characteristic is wrong.; int1 -> int2: there exists something such that the fact that it is an anger that is a characteristic is false.;
there is nothing such that it does honor protrusion and it does slice doily.
sent3 -> int3: if that the wind is meaningful or it does not slice Apache or both is not right then it is not a kind of a fight.;
$hypothesis$ = the wind is a fight. ; $context$ = sent1: the fact that the crupper is a kind of an anger and it does fight is not correct. sent2: the fact that the wind does fight and it mints throw-in is false. sent3: if the fact that something is meaningful or does not slice Apache or both is false then it does not fight. sent4: that the pinche is characteristic and it is profound is incorrect. sent5: there exists nothing such that it is an anger but not uncharacteristic. sent6: the fact that the wind does fight and is an anger does not hold. sent7: there is nothing such that it angers and it does fight. sent8: the wind is a softener. sent9: the wind is a kind of an anger if there is something such that the fact that it is a characteristic and a fight is not true. sent10: the fact that the crupper mints clatter is right. sent11: that the Massachuset is meaningful and it is a kind of a fight is wrong if the crepe does not slice Apache. sent12: there exists something such that the fact that it slices Apache and does mint crepe is wrong. sent13: there exists nothing that is a kind of a sumac and is a libertarianism. sent14: if that something is not an anger is correct then the wind is a fight. ; $proof$ = 
sent5 -> int1: the fact that the crupper is an anger and characteristic is wrong.; int1 -> int2: there exists something such that the fact that it is an anger that is a characteristic is false.; __UNKNOWN__