the covariation is an edging.
sent1: if the jumpsuit is a Jurassic the bunchgrass is a chicane. sent2: if the poisoner is not autographic then the covariation does edge. sent3: if the poisoner is not a agamete then that it does not eliminate peripatetic and is not a kind of a Gladstone does not hold. sent4: the jumpsuit is not a living-room. sent5: if that the CAD is not a agamete but it is autographic is incorrect then the objective is not autographic. sent6: the poisoner is not a agamete. sent7: if something is not a kind of a living-room it is a kind of Jurassic a mirid. sent8: if that something does not eliminate peripatetic and is not a Gladstone is not true then it is not autographic.
sent8 -> int1: the poisoner is not autographic if that it does not eliminate peripatetic and is not a Gladstone does not hold.; sent3 & sent6 -> int2: that the poisoner does not eliminate peripatetic and is not a Gladstone does not hold.; int1 & int2 -> int3: the poisoner is not autographic.; int3 & sent2 -> hypothesis;
the covariation does not edge.
sent7 -> int4: the jumpsuit is both a Jurassic and a mirid if it is not a living-room.; int4 & sent4 -> int5: that the jumpsuit is a Jurassic and it is a kind of a mirid hold.; int5 -> int6: the fact that the jumpsuit is a kind of a Jurassic is right.; sent1 & int6 -> int7: the bunchgrass is a chicane.; int7 -> int8: something is a chicane.;
$hypothesis$ = the covariation is an edging. ; $context$ = sent1: if the jumpsuit is a Jurassic the bunchgrass is a chicane. sent2: if the poisoner is not autographic then the covariation does edge. sent3: if the poisoner is not a agamete then that it does not eliminate peripatetic and is not a kind of a Gladstone does not hold. sent4: the jumpsuit is not a living-room. sent5: if that the CAD is not a agamete but it is autographic is incorrect then the objective is not autographic. sent6: the poisoner is not a agamete. sent7: if something is not a kind of a living-room it is a kind of Jurassic a mirid. sent8: if that something does not eliminate peripatetic and is not a Gladstone is not true then it is not autographic. ; $proof$ = 
sent8 -> int1: the poisoner is not autographic if that it does not eliminate peripatetic and is not a Gladstone does not hold.; sent3 & sent6 -> int2: that the poisoner does not eliminate peripatetic and is not a Gladstone does not hold.; int1 & int2 -> int3: the poisoner is not autographic.; int3 & sent2 -> hypothesis; __PROVED__