the chest is corrupting.
sent1: if there exists something such that that it blues parsonage and it does not blue advance is wrong then the icecream does not powder nudist. sent2: if the icecream is a kind of convertible thing that does not powder nudist the librarian is not a termination. sent3: that something is not a colonic but it is a kind of a backgrounder is false if it is a kind of a mixture. sent4: if something is a colonic then it corrupts. sent5: the librarian either is a mixture or is a kind of a backgrounder or both. sent6: if the librarian is a kind of a mixture that the chest is colonic hold. sent7: something that is a kind of a colonic is a backgrounder. sent8: the tepal is a kind of a colonic. sent9: if the fact that the oxygen is not a kind of a liquor and is audio-lingual is not true then the icecream is not inconvertible. sent10: if the librarian is a kind of a backgrounder the chest is a kind of a colonic. sent11: if something is a prime that it is both not a liquor and audio-lingual does not hold. sent12: the fact that the fact that the nudist memorializes insubordination and does powder eulogy is right is wrong. sent13: the fact that the Alexandrian is a colonic if the fact that that the librarian is colonic and a backgrounder hold does not hold hold. sent14: the chest is not corrupting if there exists something such that the fact that it is not a mixture but corrupting does not hold. sent15: the fact that the document blues parsonage and does not blue advance is incorrect if the nudist does not powder eulogy. sent16: the fact that something is both not a mixture and corrupting is not correct if it is not a kind of a backgrounder. sent17: either the chest is a colonic or it is a backgrounder or both. sent18: the fact that something is a backgrounder and is a colonic is incorrect if it is not a termination. sent19: everything primes. sent20: if that that the nudist does memorialize insubordination and powders eulogy is not incorrect is not correct then it does not powders eulogy.
sent5 & sent6 & sent10 -> int1: the chest is a kind of a colonic.; sent4 -> int2: if the chest is a colonic then it corrupts.; int1 & int2 -> hypothesis;
the Alexandrian is a colonic.
sent3 -> int3: that the librarian is a kind of non-colonic a backgrounder is not true if it is a mixture.;
$hypothesis$ = the chest is corrupting. ; $context$ = sent1: if there exists something such that that it blues parsonage and it does not blue advance is wrong then the icecream does not powder nudist. sent2: if the icecream is a kind of convertible thing that does not powder nudist the librarian is not a termination. sent3: that something is not a colonic but it is a kind of a backgrounder is false if it is a kind of a mixture. sent4: if something is a colonic then it corrupts. sent5: the librarian either is a mixture or is a kind of a backgrounder or both. sent6: if the librarian is a kind of a mixture that the chest is colonic hold. sent7: something that is a kind of a colonic is a backgrounder. sent8: the tepal is a kind of a colonic. sent9: if the fact that the oxygen is not a kind of a liquor and is audio-lingual is not true then the icecream is not inconvertible. sent10: if the librarian is a kind of a backgrounder the chest is a kind of a colonic. sent11: if something is a prime that it is both not a liquor and audio-lingual does not hold. sent12: the fact that the fact that the nudist memorializes insubordination and does powder eulogy is right is wrong. sent13: the fact that the Alexandrian is a colonic if the fact that that the librarian is colonic and a backgrounder hold does not hold hold. sent14: the chest is not corrupting if there exists something such that the fact that it is not a mixture but corrupting does not hold. sent15: the fact that the document blues parsonage and does not blue advance is incorrect if the nudist does not powder eulogy. sent16: the fact that something is both not a mixture and corrupting is not correct if it is not a kind of a backgrounder. sent17: either the chest is a colonic or it is a backgrounder or both. sent18: the fact that something is a backgrounder and is a colonic is incorrect if it is not a termination. sent19: everything primes. sent20: if that that the nudist does memorialize insubordination and powders eulogy is not incorrect is not correct then it does not powders eulogy. ; $proof$ = 
sent5 & sent6 & sent10 -> int1: the chest is a kind of a colonic.; sent4 -> int2: if the chest is a colonic then it corrupts.; int1 & int2 -> hypothesis; __PROVED__