that the cataloger is not a Tantrist is not wrong.
sent1: The swath does render corporation. sent2: the corporation does render swath. sent3: the cataloger is a flagellum and is not a Tantrist if the NADP is paleocortical. sent4: the cataloger is not paleocortical if the corporation is not a ministry but it is a flagellum. sent5: the corporation is paleocortical and it does render swath if the NADP is not a flagellum. sent6: the NADP does render swath. sent7: the NADP is paleocortical if the corporation does render swath. sent8: the fact that the cataloger is a kind of a flagellum that is not paleocortical is not wrong.
sent7 & sent2 -> int1: the fact that the NADP is not paleocortical is wrong.; sent3 & int1 -> int2: the cataloger is a kind of a flagellum but it is not a Tantrist.; int2 -> hypothesis;
the deliverer is a Tantrist.
$hypothesis$ = that the cataloger is not a Tantrist is not wrong. ; $context$ = sent1: The swath does render corporation. sent2: the corporation does render swath. sent3: the cataloger is a flagellum and is not a Tantrist if the NADP is paleocortical. sent4: the cataloger is not paleocortical if the corporation is not a ministry but it is a flagellum. sent5: the corporation is paleocortical and it does render swath if the NADP is not a flagellum. sent6: the NADP does render swath. sent7: the NADP is paleocortical if the corporation does render swath. sent8: the fact that the cataloger is a kind of a flagellum that is not paleocortical is not wrong. ; $proof$ = 
sent7 & sent2 -> int1: the fact that the NADP is not paleocortical is wrong.; sent3 & int1 -> int2: the cataloger is a kind of a flagellum but it is not a Tantrist.; int2 -> hypothesis; __PROVED__