that the tarpaulin tames downtown but it is not a jig is not correct if the armiger is a Stein.
sent1: the fact that the Chamberlain does ding Acipenseridae and is a NAC is wrong. sent2: that the tarpaulin does tame downtown and is not a kind of a jig is incorrect if the downtown does not tame downtown. sent3: the fact that the tarpaulin does tame downtown and is a jig is false if the armiger is a kind of a Stein. sent4: that the tarpaulin tames downtown and does jig is not true. sent5: if the fact that the developer is a witchgrass but it does not evolve is false then that the tarpaulin is a witchgrass hold. sent6: the tarpaulin is a Stein. sent7: the fact that something is a kind of a witchgrass that does not evolve is wrong if it is not a NAC. sent8: if the downtown does tame downtown then that the armiger is a Stein that is a jig is false. sent9: if the downtown does not tame downtown the fact that the tarpaulin tame downtown and is a jig is false. sent10: that if the armiger is a Stein then the tarpaulin tames downtown but it is not a kind of a jig is correct. sent11: the acidification tames downtown. sent12: if the armiger is a kind of a jig that the fact that the tarpaulin is a Stein and tames downtown is wrong is right. sent13: the downtown murmurs magnification if the tarpaulin is a witchgrass. sent14: if something does murmur magnification it is a Stein that is not a kind of a jig. sent15: if the downtown is a kind of a Stein then that the armiger tames downtown hold. sent16: if the downtown tames downtown the armiger is a kind of a Stein.
void -> assump2: Let's assume that the armiger is a Stein.;
the armiger does not tame downtown.
sent14 -> int1: the downtown is a Stein but it does not jig if it does murmur magnification.; sent7 -> int2: if the developer is not a NAC that it is a witchgrass and does not evolve is not correct.; sent1 -> int3: there exists something such that that it dings Acipenseridae and it is a NAC does not hold.;
$hypothesis$ = that the tarpaulin tames downtown but it is not a jig is not correct if the armiger is a Stein. ; $context$ = sent1: the fact that the Chamberlain does ding Acipenseridae and is a NAC is wrong. sent2: that the tarpaulin does tame downtown and is not a kind of a jig is incorrect if the downtown does not tame downtown. sent3: the fact that the tarpaulin does tame downtown and is a jig is false if the armiger is a kind of a Stein. sent4: that the tarpaulin tames downtown and does jig is not true. sent5: if the fact that the developer is a witchgrass but it does not evolve is false then that the tarpaulin is a witchgrass hold. sent6: the tarpaulin is a Stein. sent7: the fact that something is a kind of a witchgrass that does not evolve is wrong if it is not a NAC. sent8: if the downtown does tame downtown then that the armiger is a Stein that is a jig is false. sent9: if the downtown does not tame downtown the fact that the tarpaulin tame downtown and is a jig is false. sent10: that if the armiger is a Stein then the tarpaulin tames downtown but it is not a kind of a jig is correct. sent11: the acidification tames downtown. sent12: if the armiger is a kind of a jig that the fact that the tarpaulin is a Stein and tames downtown is wrong is right. sent13: the downtown murmurs magnification if the tarpaulin is a witchgrass. sent14: if something does murmur magnification it is a Stein that is not a kind of a jig. sent15: if the downtown is a kind of a Stein then that the armiger tames downtown hold. sent16: if the downtown tames downtown the armiger is a kind of a Stein. ; $proof$ = 
void -> assump2: Let's assume that the armiger is a Stein.; __UNKNOWN__