the depository does not hum depository and it is not dural.
sent1: the depository does not devein peat if there is something such that it is a kind of a grooved. sent2: if something does not devein peat then it is non-dural. sent3: the nonworker is not a grooved if that the thwart is not a grooved but it does descant is not correct. sent4: if something does not devein peat it does not hum depository and it is not dural. sent5: that the fact that the thwart is not a grooved but it is a kind of a descant is not true is true if the peat is blastospheric. sent6: there is something such that it is a grooved. sent7: if the nonworker is not a grooved the hart deveins peat and it is dural.
sent4 -> int1: if the depository does not devein peat it does not hum depository and is non-dural.; sent6 & sent1 -> int2: the depository does not devein peat.; int1 & int2 -> hypothesis;
the fact that the depository does not hum depository and it is not dural is not true.
$hypothesis$ = the depository does not hum depository and it is not dural. ; $context$ = sent1: the depository does not devein peat if there is something such that it is a kind of a grooved. sent2: if something does not devein peat then it is non-dural. sent3: the nonworker is not a grooved if that the thwart is not a grooved but it does descant is not correct. sent4: if something does not devein peat it does not hum depository and it is not dural. sent5: that the fact that the thwart is not a grooved but it is a kind of a descant is not true is true if the peat is blastospheric. sent6: there is something such that it is a grooved. sent7: if the nonworker is not a grooved the hart deveins peat and it is dural. ; $proof$ = 
sent4 -> int1: if the depository does not devein peat it does not hum depository and is non-dural.; sent6 & sent1 -> int2: the depository does not devein peat.; int1 & int2 -> hypothesis; __PROVED__