that the soundman is not a middlebrow and it is not dependable does not hold.
sent1: that there is something such that the fact that the fact that it is dependable and a quince is true does not hold is correct. sent2: if the Don is not dependable then the fact that the soundman is not a kind of a middlebrow but it is a quince is not true. sent3: there is something such that it does not redecorate soundman and is a backbencher. sent4: if the Don is not a quince the fact that the soundman is a middlebrow but it is not dependable does not hold. sent5: if the soundman is not a kind of a quince that the Don is a middlebrow that is not dependable does not hold. sent6: there exists something such that the fact that it does redecorate soundman and it is a backbencher is not true. sent7: if the Don is not a kind of a quince then the fact that the soundman is both not a middlebrow and not dependable is not correct. sent8: the Don is not a kind of a quince if something is not a kind of a backbencher. sent9: the Don is not a quince if there is something such that that it does not redecorate soundman and it is a kind of a backbencher is not right. sent10: that the fact that the soundman is a kind of a middlebrow that is not dependable is wrong is correct. sent11: there exists something such that the fact that it does not redecorate soundman and is a kind of a backbencher is not right.
sent11 & sent9 -> int1: the Don is not a kind of a quince.; sent7 & int1 -> hypothesis;
$hypothesis$ = that the soundman is not a middlebrow and it is not dependable does not hold. ; $context$ = sent1: that there is something such that the fact that the fact that it is dependable and a quince is true does not hold is correct. sent2: if the Don is not dependable then the fact that the soundman is not a kind of a middlebrow but it is a quince is not true. sent3: there is something such that it does not redecorate soundman and is a backbencher. sent4: if the Don is not a quince the fact that the soundman is a middlebrow but it is not dependable does not hold. sent5: if the soundman is not a kind of a quince that the Don is a middlebrow that is not dependable does not hold. sent6: there exists something such that the fact that it does redecorate soundman and it is a backbencher is not true. sent7: if the Don is not a kind of a quince then the fact that the soundman is both not a middlebrow and not dependable is not correct. sent8: the Don is not a kind of a quince if something is not a kind of a backbencher. sent9: the Don is not a quince if there is something such that that it does not redecorate soundman and it is a kind of a backbencher is not right. sent10: that the fact that the soundman is a kind of a middlebrow that is not dependable is wrong is correct. sent11: there exists something such that the fact that it does not redecorate soundman and is a kind of a backbencher is not right. ; $proof$ = 
sent11 & sent9 -> int1: the Don is not a kind of a quince.; sent7 & int1 -> hypothesis; __PROVED__