the keepsake is not a niggard.
sent1: if the keepsake is permissive then it is a kind of a niggard. sent2: the keepsake is not unregretful if that the culmination is a kind of a NEC that is not nontechnical is wrong. sent3: the fact that the cello blinds sard is correct if the crematory is a cardinalate. sent4: that the culmination is a NEC and is not nontechnical does not hold if the cello blinds finnan. sent5: if something blinds sard it does blind finnan. sent6: the crematory is a cardinalate if that the indene is both not a Cajun and a jewel is wrong. sent7: if the cello is cartographic the upstage blinds finnan. sent8: the upstage is cartographic. sent9: if something is not unregretful then it is permissive. sent10: that the indene is not a kind of a Cajun but it is a kind of a jewel does not hold if the upstage is cartographic.
sent10 & sent8 -> int1: the fact that that the indene is not a Cajun but it is a jewel does not hold hold.; int1 & sent6 -> int2: the crematory is a kind of a cardinalate.; int2 & sent3 -> int3: the cello blinds sard.; sent5 -> int4: the cello blinds finnan if it does blind sard.; int3 & int4 -> int5: the cello does blind finnan.; int5 & sent4 -> int6: that the culmination is a NEC and is not nontechnical is incorrect.; int6 & sent2 -> int7: the keepsake is not unregretful.; sent9 -> int8: the keepsake is permissive if it is not unregretful.; int7 & int8 -> int9: the keepsake is permissive.; int9 & sent1 -> hypothesis;
$hypothesis$ = the keepsake is not a niggard. ; $context$ = sent1: if the keepsake is permissive then it is a kind of a niggard. sent2: the keepsake is not unregretful if that the culmination is a kind of a NEC that is not nontechnical is wrong. sent3: the fact that the cello blinds sard is correct if the crematory is a cardinalate. sent4: that the culmination is a NEC and is not nontechnical does not hold if the cello blinds finnan. sent5: if something blinds sard it does blind finnan. sent6: the crematory is a cardinalate if that the indene is both not a Cajun and a jewel is wrong. sent7: if the cello is cartographic the upstage blinds finnan. sent8: the upstage is cartographic. sent9: if something is not unregretful then it is permissive. sent10: that the indene is not a kind of a Cajun but it is a kind of a jewel does not hold if the upstage is cartographic. ; $proof$ = 
sent10 & sent8 -> int1: the fact that that the indene is not a Cajun but it is a jewel does not hold hold.; int1 & sent6 -> int2: the crematory is a kind of a cardinalate.; int2 & sent3 -> int3: the cello blinds sard.; sent5 -> int4: the cello blinds finnan if it does blind sard.; int3 & int4 -> int5: the cello does blind finnan.; int5 & sent4 -> int6: that the culmination is a NEC and is not nontechnical is incorrect.; int6 & sent2 -> int7: the keepsake is not unregretful.; sent9 -> int8: the keepsake is permissive if it is not unregretful.; int7 & int8 -> int9: the keepsake is permissive.; int9 & sent1 -> hypothesis; __DISPROVED__