the fact that the high-muck-a-muck sweetens Polyprion hold.
sent1: that something is not a Heteranthera and it does not sweeten Talmud is not correct if it is a butane. sent2: the prizefighter is a butane if something is not a kind of a bloodberry. sent3: that something is not a Heteranthera but it does sweeten Talmud is not correct if it is a butane. sent4: something that is not an exchanged does sweeten Polyprion and is a butane. sent5: something is not a kind of a bloodberry. sent6: if the prizefighter is not an exchanged and/or it is not decorous the high-muck-a-muck does not sweeten Polyprion. sent7: the fact that the prizefighter is a kind of a Heteranthera but it does not sweeten Talmud is wrong. sent8: that the prizefighter is not a Heteranthera and sweetens Talmud is false. sent9: if that something is not a Heteranthera and does not sweeten Talmud is incorrect then it is not an exchanged.
sent1 -> int1: if the prizefighter is a butane then that it is not a Heteranthera and does not sweeten Talmud does not hold.; sent5 & sent2 -> int2: the prizefighter is a butane.; int1 & int2 -> int3: the fact that the prizefighter is not a Heteranthera and it does not sweeten Talmud does not hold.; sent9 -> int4: the prizefighter is not a kind of an exchanged if that it is not a kind of a Heteranthera and it does not sweeten Talmud is not right.; int3 & int4 -> int5: the prizefighter is not a kind of an exchanged.; int5 -> int6: the prizefighter does not exchange or it is not decorous or both.; int6 & sent6 -> hypothesis;
the high-muck-a-muck sweetens Polyprion.
sent4 -> int7: if the snowball is not an exchanged then it sweetens Polyprion and it is a butane.;
$hypothesis$ = the fact that the high-muck-a-muck sweetens Polyprion hold. ; $context$ = sent1: that something is not a Heteranthera and it does not sweeten Talmud is not correct if it is a butane. sent2: the prizefighter is a butane if something is not a kind of a bloodberry. sent3: that something is not a Heteranthera but it does sweeten Talmud is not correct if it is a butane. sent4: something that is not an exchanged does sweeten Polyprion and is a butane. sent5: something is not a kind of a bloodberry. sent6: if the prizefighter is not an exchanged and/or it is not decorous the high-muck-a-muck does not sweeten Polyprion. sent7: the fact that the prizefighter is a kind of a Heteranthera but it does not sweeten Talmud is wrong. sent8: that the prizefighter is not a Heteranthera and sweetens Talmud is false. sent9: if that something is not a Heteranthera and does not sweeten Talmud is incorrect then it is not an exchanged. ; $proof$ = 
sent1 -> int1: if the prizefighter is a butane then that it is not a Heteranthera and does not sweeten Talmud does not hold.; sent5 & sent2 -> int2: the prizefighter is a butane.; int1 & int2 -> int3: the fact that the prizefighter is not a Heteranthera and it does not sweeten Talmud does not hold.; sent9 -> int4: the prizefighter is not a kind of an exchanged if that it is not a kind of a Heteranthera and it does not sweeten Talmud is not right.; int3 & int4 -> int5: the prizefighter is not a kind of an exchanged.; int5 -> int6: the prizefighter does not exchange or it is not decorous or both.; int6 & sent6 -> hypothesis; __DISPROVED__