the flannel is triumphal.
sent1: if the imprint is not a hushpuppy then the fact that the vasopressor is not a kind of a surveying but it is triumphal is incorrect. sent2: if the fact that the fact that the prizefighter is not Albigensian or it is a kind of a sick or both is right does not hold the hillbilly is not sick. sent3: the fact that the hillbilly is a kind of non-interstellar thing that does gate imprint does not hold if it is not sick. sent4: if something is a Monaco and/or it does not gate viewers it does survey. sent5: if there is something such that the fact that it is an enhancement that does not listen is not right then the imprint is not a hushpuppy. sent6: something is arenicolous if it is a Toltec. sent7: the fact that if there is something such that the fact that it is not interstellar and it gates imprint is false that the ben is a Toltec is right hold. sent8: if the vasopressor is a kind of a hushpuppy then the triptych is a hushpuppy. sent9: if the vasopressor does listen then the triptych is a hushpuppy. sent10: either the vasopressor does listen or it is a hushpuppy or both. sent11: the fact that that the prizefighter is not Albigensian and/or is sick hold is not true. sent12: the flannel is triumphal if the triptych is a surveying. sent13: if something is a kind of a hushpuppy it either is a kind of a Monaco or does not gate viewers or both. sent14: the triptych surveys if it does not gate viewers. sent15: if that the ben is not non-arenicolous is not incorrect then the brand is not a kind of a coccus. sent16: the fact that something is an enhancement and does not listen does not hold if it is not a kind of a coccus. sent17: the triptych either is a Monaco or does gate viewers or both if it is a kind of a hushpuppy. sent18: the triptych either is a Monaco or gates viewers or both.
sent13 -> int1: the triptych is a Monaco and/or does not gate viewers if it is a kind of a hushpuppy.; sent10 & sent9 & sent8 -> int2: the triptych is a hushpuppy.; int1 & int2 -> int3: the triptych is a Monaco and/or it does not gate viewers.; sent4 -> int4: the triptych is a surveying if it is a Monaco and/or it does not gate viewers.; int3 & int4 -> int5: the triptych surveys.; int5 & sent12 -> hypothesis;
the flannel is non-triumphal.
sent16 -> int6: if the brand is not a coccus the fact that it is an enhancement and it does not listen is not true.; sent6 -> int7: the ben is arenicolous if it is a Toltec.; sent2 & sent11 -> int8: the hillbilly is not a sick.; sent3 & int8 -> int9: the fact that the hillbilly is not interstellar and gates imprint is incorrect.; int9 -> int10: there exists something such that the fact that it is a kind of non-interstellar thing that does gate imprint does not hold.; int10 & sent7 -> int11: the ben is a kind of a Toltec.; int7 & int11 -> int12: the ben is arenicolous.; sent15 & int12 -> int13: the brand is not a coccus.; int6 & int13 -> int14: that the brand is an enhancement that does not listen is not correct.; int14 -> int15: there is something such that the fact that it is an enhancement and it does not listen is incorrect.; int15 & sent5 -> int16: the imprint is not a hushpuppy.; sent1 & int16 -> int17: that the vasopressor is not a surveying but it is triumphal is not correct.; int17 -> int18: there exists something such that that it is not a surveying and is triumphal is false.;
$hypothesis$ = the flannel is triumphal. ; $context$ = sent1: if the imprint is not a hushpuppy then the fact that the vasopressor is not a kind of a surveying but it is triumphal is incorrect. sent2: if the fact that the fact that the prizefighter is not Albigensian or it is a kind of a sick or both is right does not hold the hillbilly is not sick. sent3: the fact that the hillbilly is a kind of non-interstellar thing that does gate imprint does not hold if it is not sick. sent4: if something is a Monaco and/or it does not gate viewers it does survey. sent5: if there is something such that the fact that it is an enhancement that does not listen is not right then the imprint is not a hushpuppy. sent6: something is arenicolous if it is a Toltec. sent7: the fact that if there is something such that the fact that it is not interstellar and it gates imprint is false that the ben is a Toltec is right hold. sent8: if the vasopressor is a kind of a hushpuppy then the triptych is a hushpuppy. sent9: if the vasopressor does listen then the triptych is a hushpuppy. sent10: either the vasopressor does listen or it is a hushpuppy or both. sent11: the fact that that the prizefighter is not Albigensian and/or is sick hold is not true. sent12: the flannel is triumphal if the triptych is a surveying. sent13: if something is a kind of a hushpuppy it either is a kind of a Monaco or does not gate viewers or both. sent14: the triptych surveys if it does not gate viewers. sent15: if that the ben is not non-arenicolous is not incorrect then the brand is not a kind of a coccus. sent16: the fact that something is an enhancement and does not listen does not hold if it is not a kind of a coccus. sent17: the triptych either is a Monaco or does gate viewers or both if it is a kind of a hushpuppy. sent18: the triptych either is a Monaco or gates viewers or both. ; $proof$ = 
sent13 -> int1: the triptych is a Monaco and/or does not gate viewers if it is a kind of a hushpuppy.; sent10 & sent9 & sent8 -> int2: the triptych is a hushpuppy.; int1 & int2 -> int3: the triptych is a Monaco and/or it does not gate viewers.; sent4 -> int4: the triptych is a surveying if it is a Monaco and/or it does not gate viewers.; int3 & int4 -> int5: the triptych surveys.; int5 & sent12 -> hypothesis; __PROVED__