the saltwort is not archival.
sent1: the deadeye is not a flatness if the benefactor is not a Tidewater. sent2: if the saltwort draws brutalization then the acrylic does reflectorize benefactor. sent3: if the acrylic is fibrillose and it is a flatness then it does not reflectorize benefactor. sent4: that the acrylic is fibrillose and it is a kind of a flatness is not false. sent5: if that something is fibrillose a genus does not hold then it is not fibrillose. sent6: there exists something such that the fact that it does comfort taipan and does not reflectorize levallorphan is incorrect. sent7: something is not archival if it does not draw brutalization. sent8: that something is both fibrillose and a genus is incorrect if the fact that it is not a flatness hold.
void -> assump1: Let's assume that the saltwort draws brutalization.; sent2 & assump1 -> int1: that the acrylic does reflectorize benefactor is correct.; sent3 & sent4 -> int2: the acrylic does not reflectorize benefactor.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the saltwort does not draw brutalization.; sent7 -> int5: if the saltwort does not draw brutalization then it is not archival.; int4 & int5 -> hypothesis;
the fact that the saltwort is archival is not incorrect.
sent5 -> int6: the deadeye is not fibrillose if the fact that it is fibrillose and a genus is false.; sent8 -> int7: that the deadeye is both fibrillose and a genus is not correct if that it is not flatness is true.;
$hypothesis$ = the saltwort is not archival. ; $context$ = sent1: the deadeye is not a flatness if the benefactor is not a Tidewater. sent2: if the saltwort draws brutalization then the acrylic does reflectorize benefactor. sent3: if the acrylic is fibrillose and it is a flatness then it does not reflectorize benefactor. sent4: that the acrylic is fibrillose and it is a kind of a flatness is not false. sent5: if that something is fibrillose a genus does not hold then it is not fibrillose. sent6: there exists something such that the fact that it does comfort taipan and does not reflectorize levallorphan is incorrect. sent7: something is not archival if it does not draw brutalization. sent8: that something is both fibrillose and a genus is incorrect if the fact that it is not a flatness hold. ; $proof$ = 
void -> assump1: Let's assume that the saltwort draws brutalization.; sent2 & assump1 -> int1: that the acrylic does reflectorize benefactor is correct.; sent3 & sent4 -> int2: the acrylic does not reflectorize benefactor.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the saltwort does not draw brutalization.; sent7 -> int5: if the saltwort does not draw brutalization then it is not archival.; int4 & int5 -> hypothesis; __PROVED__