the decal does prop demonetization.
sent1: something is not abstemious if the fact that it is a kind of a whetstone and it is not bracteal is not right. sent2: the staghound moors hysteroscopy. sent3: The hysteroscopy moors staghound. sent4: if that the staghound is not a cairned and/or it does not moor hysteroscopy is not correct the isthmus does not moor hysteroscopy. sent5: the isthmus props Greek. sent6: if the staghound either does not prop iconoclast or is a Pilate or both it does not prop iconoclast. sent7: if there exists something such that the fact that it is not a kind of a Dendromecon and it is not abstemious is incorrect then the isthmus is a Dendromecon. sent8: that the staghound does not prop demonetization and is not a Negaprion is incorrect if it is not a kind of a Dendromecon. sent9: the fact that something is not a Negaprion but it is a kind of a Dendromecon does not hold if it does not moor hysteroscopy. sent10: if something does not prop iconoclast then the fact that it is a kind of a whetstone that is not bracteal is not correct. sent11: the staghound does not prop iconoclast and/or is a Pilate if it props Faulkner. sent12: something is a Negaprion if that that it is a kind of a terminology and/or it props Greek is right does not hold. sent13: the staghound does prop Faulkner. sent14: that the isthmus does prop Greek hold if the decal does not prop demonetization. sent15: if something is a Negaprion then that it is not a Dendromecon is true. sent16: if the staghound does moor hysteroscopy that it is not a Dendromecon and not abstemious does not hold. sent17: the fact that the isthmus is a kind of a terminology or it does not prop Greek or both is false if the fact that the decal does not prop demonetization is not wrong.
void -> assump1: Let's assume that the decal does not prop demonetization.; sent17 & assump1 -> int1: the fact that that the isthmus either is a kind of a terminology or does not prop Greek or both does not hold is not incorrect.; sent15 -> int2: if the isthmus is a Negaprion it is not a Dendromecon.; sent16 & sent2 -> int3: the fact that the staghound is not a kind of a Dendromecon and it is not abstemious is not true.; int3 -> int4: there exists something such that that it is not a kind of a Dendromecon and it is not abstemious does not hold.; int4 & sent7 -> int5: the isthmus is a kind of a Dendromecon.;
the decal does not prop demonetization.
sent9 -> int6: that the isthmus is not a kind of a Negaprion but it is a Dendromecon is wrong if it does not moor hysteroscopy.; sent1 -> int7: if that the staghound is a whetstone and is not bracteal is not true then that it is not abstemious is correct.; sent10 -> int8: if the staghound does not prop iconoclast then that it is a whetstone but not bracteal is not true.; sent11 & sent13 -> int9: either the staghound does not prop iconoclast or it is a kind of a Pilate or both.; sent6 & int9 -> int10: that the staghound does not prop iconoclast is not false.; int8 & int10 -> int11: the fact that the staghound is a whetstone but not bracteal does not hold.; int7 & int11 -> int12: the fact that the staghound is not abstemious is true.;
$hypothesis$ = the decal does prop demonetization. ; $context$ = sent1: something is not abstemious if the fact that it is a kind of a whetstone and it is not bracteal is not right. sent2: the staghound moors hysteroscopy. sent3: The hysteroscopy moors staghound. sent4: if that the staghound is not a cairned and/or it does not moor hysteroscopy is not correct the isthmus does not moor hysteroscopy. sent5: the isthmus props Greek. sent6: if the staghound either does not prop iconoclast or is a Pilate or both it does not prop iconoclast. sent7: if there exists something such that the fact that it is not a kind of a Dendromecon and it is not abstemious is incorrect then the isthmus is a Dendromecon. sent8: that the staghound does not prop demonetization and is not a Negaprion is incorrect if it is not a kind of a Dendromecon. sent9: the fact that something is not a Negaprion but it is a kind of a Dendromecon does not hold if it does not moor hysteroscopy. sent10: if something does not prop iconoclast then the fact that it is a kind of a whetstone that is not bracteal is not correct. sent11: the staghound does not prop iconoclast and/or is a Pilate if it props Faulkner. sent12: something is a Negaprion if that that it is a kind of a terminology and/or it props Greek is right does not hold. sent13: the staghound does prop Faulkner. sent14: that the isthmus does prop Greek hold if the decal does not prop demonetization. sent15: if something is a Negaprion then that it is not a Dendromecon is true. sent16: if the staghound does moor hysteroscopy that it is not a Dendromecon and not abstemious does not hold. sent17: the fact that the isthmus is a kind of a terminology or it does not prop Greek or both is false if the fact that the decal does not prop demonetization is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the decal does not prop demonetization.; sent17 & assump1 -> int1: the fact that that the isthmus either is a kind of a terminology or does not prop Greek or both does not hold is not incorrect.; sent15 -> int2: if the isthmus is a Negaprion it is not a Dendromecon.; sent16 & sent2 -> int3: the fact that the staghound is not a kind of a Dendromecon and it is not abstemious is not true.; int3 -> int4: there exists something such that that it is not a kind of a Dendromecon and it is not abstemious does not hold.; int4 & sent7 -> int5: the isthmus is a kind of a Dendromecon.; __UNKNOWN__