the stinter is not centrifugal.
sent1: there exists something such that that it is both a tubed and not centrifugal is wrong. sent2: if the cruiserweight is not loose the fact that it is a Kolam and it is not a Marshall is wrong. sent3: the fact that that the crank is both not non-loose and non-gnomic is wrong if the crank is not literal is right. sent4: the stinter is centrifugal if the choler is centrifugal. sent5: the fact that the stress is not a Pirandello and it is not a tubed is not correct. sent6: the stress is not centrifugal if that the stinter is not puerperal and is not centrifugal is not right. sent7: the crank is puerperal if it is a Kolam. sent8: if there exists something such that it is a Pirandello the stinter is not centrifugal. sent9: if the fact that something is a Kolam but it is not a Marshall does not hold it is a Marshall. sent10: the fact that the stinter is not a tubed and is non-centrifugal does not hold. sent11: the cruiserweight is not loose if there exists something such that that it is loose and not gnomic is not correct. sent12: if either something is puerperal or it is a kind of a Marshall or both then the choler is puerperal. sent13: the crank is not literal. sent14: the fact that the stinter is non-centrifugal thing that does not tube does not hold.
sent5 -> int1: there is something such that that it is not a kind of a Pirandello and it does not tube is wrong.;
the stress is not centrifugal.
sent9 -> int2: if the fact that the cruiserweight is a Kolam but it is not a Marshall is false then it is a Marshall.; sent3 & sent13 -> int3: that the crank is both loose and non-gnomic is false.; int3 -> int4: there is something such that that it is both loose and not gnomic is not right.; int4 & sent11 -> int5: the fact that the cruiserweight is not loose hold.; sent2 & int5 -> int6: that the cruiserweight is a kind of a Kolam and is not a Marshall is wrong.; int2 & int6 -> int7: the cruiserweight is a Marshall.; int7 -> int8: the cruiserweight is puerperal and/or is a Marshall.; int8 -> int9: something is puerperal or it is a Marshall or both.; int9 & sent12 -> int10: the choler is puerperal.; int10 -> int11: something is puerperal.;
$hypothesis$ = the stinter is not centrifugal. ; $context$ = sent1: there exists something such that that it is both a tubed and not centrifugal is wrong. sent2: if the cruiserweight is not loose the fact that it is a Kolam and it is not a Marshall is wrong. sent3: the fact that that the crank is both not non-loose and non-gnomic is wrong if the crank is not literal is right. sent4: the stinter is centrifugal if the choler is centrifugal. sent5: the fact that the stress is not a Pirandello and it is not a tubed is not correct. sent6: the stress is not centrifugal if that the stinter is not puerperal and is not centrifugal is not right. sent7: the crank is puerperal if it is a Kolam. sent8: if there exists something such that it is a Pirandello the stinter is not centrifugal. sent9: if the fact that something is a Kolam but it is not a Marshall does not hold it is a Marshall. sent10: the fact that the stinter is not a tubed and is non-centrifugal does not hold. sent11: the cruiserweight is not loose if there exists something such that that it is loose and not gnomic is not correct. sent12: if either something is puerperal or it is a kind of a Marshall or both then the choler is puerperal. sent13: the crank is not literal. sent14: the fact that the stinter is non-centrifugal thing that does not tube does not hold. ; $proof$ = 
sent5 -> int1: there is something such that that it is not a kind of a Pirandello and it does not tube is wrong.; __UNKNOWN__