the ergotropism is tough.
sent1: the mangrove is not muciferous if there exists something such that it does hitch heartiness. sent2: the mangrove screams effeminacy if it is not muciferous and it is contemptible. sent3: the fact that the propman does not hitch heartiness and trebles grassfire is incorrect. sent4: if the outcast is not non-contemptible the ergotropism is a tough. sent5: there exists something such that it does not hitch heartiness and trebles grassfire. sent6: there exists something such that that it does hitch heartiness and does treble grassfire is false. sent7: something is a barnburner and screams effeminacy. sent8: if something thirsts visored then it is not a kind of a barnburner. sent9: if something is not a barnburner then the mangrove does not scream effeminacy. sent10: if there exists something such that that it is a barnburner and does scream effeminacy is not right the fact that the mangrove does not scream effeminacy is not wrong. sent11: there is something such that the fact that it is a kind of a barnburner and does scream effeminacy is false. sent12: if something does not expatriate and it does not scream effeminacy then it is contemptible. sent13: the mangrove is not muciferous if there is something such that that it does not hitch heartiness and does treble grassfire does not hold. sent14: either the outcast does not expatriate or it is not non-contemptible or both if the mangrove is non-contemptible. sent15: the fact that the propman hitches heartiness and it trebles grassfire is not right.
sent3 -> int1: there is something such that that that it does not hitch heartiness and it does treble grassfire is correct is wrong.; int1 & sent13 -> int2: the mangrove is not muciferous.; void -> assump1: Let's assume that the mangrove is contemptible.; int2 & assump1 -> int3: the mangrove is not muciferous but contemptible.; int3 & sent2 -> int4: that the mangrove does scream effeminacy is true.; sent11 & sent10 -> int5: the mangrove does not scream effeminacy.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the mangrove is not contemptible.; int7 & sent14 -> int8: the outcast does not expatriate or it is contemptible or both.;
the ergotropism is not a kind of a tough.
sent12 -> int9: if the ergotropism does not expatriate and does not scream effeminacy it is contemptible.; sent8 -> int10: if the outcast thirsts visored the fact that it is not a barnburner is not wrong.;
$hypothesis$ = the ergotropism is tough. ; $context$ = sent1: the mangrove is not muciferous if there exists something such that it does hitch heartiness. sent2: the mangrove screams effeminacy if it is not muciferous and it is contemptible. sent3: the fact that the propman does not hitch heartiness and trebles grassfire is incorrect. sent4: if the outcast is not non-contemptible the ergotropism is a tough. sent5: there exists something such that it does not hitch heartiness and trebles grassfire. sent6: there exists something such that that it does hitch heartiness and does treble grassfire is false. sent7: something is a barnburner and screams effeminacy. sent8: if something thirsts visored then it is not a kind of a barnburner. sent9: if something is not a barnburner then the mangrove does not scream effeminacy. sent10: if there exists something such that that it is a barnburner and does scream effeminacy is not right the fact that the mangrove does not scream effeminacy is not wrong. sent11: there is something such that the fact that it is a kind of a barnburner and does scream effeminacy is false. sent12: if something does not expatriate and it does not scream effeminacy then it is contemptible. sent13: the mangrove is not muciferous if there is something such that that it does not hitch heartiness and does treble grassfire does not hold. sent14: either the outcast does not expatriate or it is not non-contemptible or both if the mangrove is non-contemptible. sent15: the fact that the propman hitches heartiness and it trebles grassfire is not right. ; $proof$ = 
sent3 -> int1: there is something such that that that it does not hitch heartiness and it does treble grassfire is correct is wrong.; int1 & sent13 -> int2: the mangrove is not muciferous.; void -> assump1: Let's assume that the mangrove is contemptible.; int2 & assump1 -> int3: the mangrove is not muciferous but contemptible.; int3 & sent2 -> int4: that the mangrove does scream effeminacy is true.; sent11 & sent10 -> int5: the mangrove does not scream effeminacy.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the mangrove is not contemptible.; int7 & sent14 -> int8: the outcast does not expatriate or it is contemptible or both.; __UNKNOWN__