the bullshot is both not annalistic and a Siouan.
sent1: the chimneystack is not a bromoform if the bullshot is annalistic and it is an extremist. sent2: the chimneystack is a bromoform. sent3: the bullshot is an extremist that is a conferee. sent4: the fact that the illiterate is not a stocktaker and not a jampan is not correct. sent5: something does not eulogize clamor if the fact that it is not a stocktaker and it is not a jampan is not true.
sent3 -> int1: the bullshot is a kind of an extremist.; void -> assump1: Let's assume that that the bullshot is annalistic is right.; int1 & assump1 -> int2: the bullshot is annalistic and it is an extremist.; int2 & sent1 -> int3: the chimneystack is not a bromoform.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the bullshot is not annalistic.; sent5 -> int6: if that the illiterate is not a kind of a stocktaker and is not a jampan is not right it does not eulogize clamor.; int6 & sent4 -> int7: the illiterate does not eulogize clamor.; int7 -> int8: either the illiterate is not a Siouan or it does not eulogize clamor or both.;
$hypothesis$ = the bullshot is both not annalistic and a Siouan. ; $context$ = sent1: the chimneystack is not a bromoform if the bullshot is annalistic and it is an extremist. sent2: the chimneystack is a bromoform. sent3: the bullshot is an extremist that is a conferee. sent4: the fact that the illiterate is not a stocktaker and not a jampan is not correct. sent5: something does not eulogize clamor if the fact that it is not a stocktaker and it is not a jampan is not true. ; $proof$ = 
sent3 -> int1: the bullshot is a kind of an extremist.; void -> assump1: Let's assume that that the bullshot is annalistic is right.; int1 & assump1 -> int2: the bullshot is annalistic and it is an extremist.; int2 & sent1 -> int3: the chimneystack is not a bromoform.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the bullshot is not annalistic.; sent5 -> int6: if that the illiterate is not a kind of a stocktaker and is not a jampan is not right it does not eulogize clamor.; int6 & sent4 -> int7: the illiterate does not eulogize clamor.; int7 -> int8: either the illiterate is not a Siouan or it does not eulogize clamor or both.; __UNKNOWN__