the fact that there exists something such that the fact that that it does overprint H-bomb and it is not Ecuadorian is not false does not hold is false.
sent1: the cellar is a hire. sent2: the uptake does overprint H-bomb. sent3: if something is not a kind of a silence that it overprints H-bomb and it is not a Ecuadorian does not hold. sent4: the uptake is non-tragicomic if the holocephalan does not overprint lint. sent5: if the cellar is not a silence the fact that it does overprint H-bomb and it is Ecuadorian is not true. sent6: that the cellar overprints lint and does hire is wrong. sent7: everything is tragicomic. sent8: something overprints H-bomb and is not a kind of a Ecuadorian. sent9: there is something such that that it overprints H-bomb and is Ecuadorian does not hold. sent10: the uptake is a kind of a Dayton. sent11: the cellar hires and it is a kind of a Stalin. sent12: the uptake is a chorus that becomes Potamogalidae. sent13: the uptake is not a Ecuadorian if the cellar is not tragicomic. sent14: the holocephalan does not overprint lint if the cellar is a kind of a silence and it is a Stalin. sent15: the uptake either silences or does not overprint lint or both. sent16: that something overprints H-bomb and it is a Ecuadorian does not hold if that it does not silence hold.
sent11 -> int1: the cellar is a Stalin.; void -> assump1: Let's assume that the cellar silences.; int1 & assump1 -> int2: the cellar is a silence and it is a Stalin.; int2 & sent14 -> int3: the holocephalan does not overprint lint.; int3 & sent4 -> int4: the uptake is not tragicomic.; sent7 -> int5: the uptake is tragicomic.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the cellar is not a silence is true.; sent3 -> int8: that the cellar overprints H-bomb but it is not Ecuadorian is not true if it is not a kind of a silence.; int7 & int8 -> int9: that the cellar overprints H-bomb but it is not a Ecuadorian is incorrect.; int9 -> hypothesis;
the holocephalan is not a quietist.
$hypothesis$ = the fact that there exists something such that the fact that that it does overprint H-bomb and it is not Ecuadorian is not false does not hold is false. ; $context$ = sent1: the cellar is a hire. sent2: the uptake does overprint H-bomb. sent3: if something is not a kind of a silence that it overprints H-bomb and it is not a Ecuadorian does not hold. sent4: the uptake is non-tragicomic if the holocephalan does not overprint lint. sent5: if the cellar is not a silence the fact that it does overprint H-bomb and it is Ecuadorian is not true. sent6: that the cellar overprints lint and does hire is wrong. sent7: everything is tragicomic. sent8: something overprints H-bomb and is not a kind of a Ecuadorian. sent9: there is something such that that it overprints H-bomb and is Ecuadorian does not hold. sent10: the uptake is a kind of a Dayton. sent11: the cellar hires and it is a kind of a Stalin. sent12: the uptake is a chorus that becomes Potamogalidae. sent13: the uptake is not a Ecuadorian if the cellar is not tragicomic. sent14: the holocephalan does not overprint lint if the cellar is a kind of a silence and it is a Stalin. sent15: the uptake either silences or does not overprint lint or both. sent16: that something overprints H-bomb and it is a Ecuadorian does not hold if that it does not silence hold. ; $proof$ = 
sent11 -> int1: the cellar is a Stalin.; void -> assump1: Let's assume that the cellar silences.; int1 & assump1 -> int2: the cellar is a silence and it is a Stalin.; int2 & sent14 -> int3: the holocephalan does not overprint lint.; int3 & sent4 -> int4: the uptake is not tragicomic.; sent7 -> int5: the uptake is tragicomic.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the cellar is not a silence is true.; sent3 -> int8: that the cellar overprints H-bomb but it is not Ecuadorian is not true if it is not a kind of a silence.; int7 & int8 -> int9: that the cellar overprints H-bomb but it is not a Ecuadorian is incorrect.; int9 -> hypothesis; __DISPROVED__