the fact that the fairway shirks is right.
sent1: the fact that the acrobat is not a corsair and it is not a kind of a curved is wrong if the bracero is a curved. sent2: the fact that the bracero is yeasty but it is not algolagnic does not hold. sent3: the fact that that the bracero is not a curved hold is not true if the fact that it is yeasty and it is not algolagnic is not right.
sent3 & sent2 -> int1: the bracero is a curved.; sent1 & int1 -> int2: that the acrobat is not a corsair and it is not a kind of a curved is wrong.;
$hypothesis$ = the fact that the fairway shirks is right. ; $context$ = sent1: the fact that the acrobat is not a corsair and it is not a kind of a curved is wrong if the bracero is a curved. sent2: the fact that the bracero is yeasty but it is not algolagnic does not hold. sent3: the fact that that the bracero is not a curved hold is not true if the fact that it is yeasty and it is not algolagnic is not right. ; $proof$ = 
sent3 & sent2 -> int1: the bracero is a curved.; sent1 & int1 -> int2: that the acrobat is not a corsair and it is not a kind of a curved is wrong.; __UNKNOWN__