the fact that the jute is not integumentary but it is dextral does not hold.
sent1: the jute cools if there exists something such that it is both not a Saccharum and clausal. sent2: the preservation is not a Saccharum but clausal if it is a yoke. sent3: the preservation is a yoke. sent4: the fact that something is not integumentary but dextral is not correct if it is a kind of a cool. sent5: the rebutter ovulates. sent6: if something is a yoke then that it does not furnish and it is dextral is wrong. sent7: the preservation is both not dextral and a Saccharum if it is a cool.
sent2 & sent3 -> int1: the preservation is not a Saccharum but it is clausal.; int1 -> int2: there exists something such that it is not a Saccharum and it is clausal.; int2 & sent1 -> int3: the jute is a cool.; sent4 -> int4: if that the jute is a kind of a cool hold that it is non-integumentary and it is dextral is wrong.; int3 & int4 -> hypothesis;
the jute is non-integumentary thing that is dextral.
sent5 -> int5: something ovulates.;
$hypothesis$ = the fact that the jute is not integumentary but it is dextral does not hold. ; $context$ = sent1: the jute cools if there exists something such that it is both not a Saccharum and clausal. sent2: the preservation is not a Saccharum but clausal if it is a yoke. sent3: the preservation is a yoke. sent4: the fact that something is not integumentary but dextral is not correct if it is a kind of a cool. sent5: the rebutter ovulates. sent6: if something is a yoke then that it does not furnish and it is dextral is wrong. sent7: the preservation is both not dextral and a Saccharum if it is a cool. ; $proof$ = 
sent2 & sent3 -> int1: the preservation is not a Saccharum but it is clausal.; int1 -> int2: there exists something such that it is not a Saccharum and it is clausal.; int2 & sent1 -> int3: the jute is a cool.; sent4 -> int4: if that the jute is a kind of a cool hold that it is non-integumentary and it is dextral is wrong.; int3 & int4 -> hypothesis; __PROVED__