the chestnut does not company density and is not non-amphoric.
sent1: if something etiolates then it does bleach and it does not sign clear. sent2: the Tsimshian does company density and is relativistic if there is something such that it is cardiopulmonary. sent3: if the stibnite is not a kind of a vermin it does not clear thoroughfare. sent4: the tent does bleach if the executor is a bleach that does not sign clear. sent5: that the brainworker is not a misapplication and it does not etiolate is false. sent6: if something is a meadowgrass then it is cardiopulmonary. sent7: that if there exists something such that that it is not a brew but a tryptophan is false that the Tsimshian is amphoric hold hold. sent8: something is a meadowgrass if it is a kind of a grievance and it is not a Paralipomenon. sent9: if there exists something such that that it is not a kind of a misapplication and it does not etiolate is not true then the executor does etiolate. sent10: something that does not clear thoroughfare is a kind of a grievance that is not a Paralipomenon. sent11: if the tent is not a kind of a vermin and is a bleach the stibnite is not a kind of a vermin. sent12: that the tent is not an insomniac but it is a bobsledding does not hold. sent13: the fact that the chestnut is amphoric is not incorrect. sent14: there is something such that it is not amphoric and it companies density. sent15: the chestnut is a tryptophan. sent16: if that the tent is not an insomniac but it bobsleds is wrong the fact that it is a kind of a vermin does not hold. sent17: there is something such that that it is not a brew but a tryptophan is false.
sent17 & sent7 -> int1: the Tsimshian is amphoric.;
the fact that the chestnut does not company density but it is amphoric is false.
sent6 -> int2: if the stibnite is a kind of a meadowgrass then it is cardiopulmonary.; sent8 -> int3: if that the stibnite is a grievance and is not a kind of a Paralipomenon hold it is a meadowgrass.; sent10 -> int4: if the stibnite does not clear thoroughfare then it is a grievance that is not a kind of a Paralipomenon.; sent16 & sent12 -> int5: the tent is not a kind of a vermin.; sent1 -> int6: if the executor does etiolate it does bleach and does not sign clear.; sent5 -> int7: there is something such that that it is not a misapplication and does not etiolate does not hold.; int7 & sent9 -> int8: the executor etiolates.; int6 & int8 -> int9: the executor is a kind of a bleach but it does not sign clear.; sent4 & int9 -> int10: the tent is a bleach.; int5 & int10 -> int11: the tent is not a vermin but it is a bleach.; sent11 & int11 -> int12: the stibnite is not a vermin.; sent3 & int12 -> int13: the stibnite does not clear thoroughfare.; int4 & int13 -> int14: the stibnite is a grievance but it is not a Paralipomenon.; int3 & int14 -> int15: the stibnite is a meadowgrass.; int2 & int15 -> int16: the fact that the stibnite is cardiopulmonary is true.; int16 -> int17: there is something such that it is cardiopulmonary.; int17 & sent2 -> int18: the Tsimshian does company density and it is relativistic.; int18 -> int19: the Tsimshian does company density.; int19 -> int20: there is something such that it companies density.;
$hypothesis$ = the chestnut does not company density and is not non-amphoric. ; $context$ = sent1: if something etiolates then it does bleach and it does not sign clear. sent2: the Tsimshian does company density and is relativistic if there is something such that it is cardiopulmonary. sent3: if the stibnite is not a kind of a vermin it does not clear thoroughfare. sent4: the tent does bleach if the executor is a bleach that does not sign clear. sent5: that the brainworker is not a misapplication and it does not etiolate is false. sent6: if something is a meadowgrass then it is cardiopulmonary. sent7: that if there exists something such that that it is not a brew but a tryptophan is false that the Tsimshian is amphoric hold hold. sent8: something is a meadowgrass if it is a kind of a grievance and it is not a Paralipomenon. sent9: if there exists something such that that it is not a kind of a misapplication and it does not etiolate is not true then the executor does etiolate. sent10: something that does not clear thoroughfare is a kind of a grievance that is not a Paralipomenon. sent11: if the tent is not a kind of a vermin and is a bleach the stibnite is not a kind of a vermin. sent12: that the tent is not an insomniac but it is a bobsledding does not hold. sent13: the fact that the chestnut is amphoric is not incorrect. sent14: there is something such that it is not amphoric and it companies density. sent15: the chestnut is a tryptophan. sent16: if that the tent is not an insomniac but it bobsleds is wrong the fact that it is a kind of a vermin does not hold. sent17: there is something such that that it is not a brew but a tryptophan is false. ; $proof$ = 
sent17 & sent7 -> int1: the Tsimshian is amphoric.; __UNKNOWN__