that the Tungusic does blemish is not false.
sent1: the drafter is both calligraphic and loopy. sent2: the Tungusic is a blemish if the drafter does not dash but it is loopy. sent3: the Angora is non-Wagnerian and it is not a kind of a mother. sent4: if a non-Wagnerian thing is not a mother the drafter does not dash.
sent3 -> int1: there is something such that that it is not a Wagnerian and it is not a mother is correct.; int1 & sent4 -> int2: the drafter is not a kind of a dashiki.; sent1 -> int3: the drafter is loopy.; int2 & int3 -> int4: the drafter is not a kind of a dashiki and is loopy.; int4 & sent2 -> hypothesis;
$hypothesis$ = that the Tungusic does blemish is not false. ; $context$ = sent1: the drafter is both calligraphic and loopy. sent2: the Tungusic is a blemish if the drafter does not dash but it is loopy. sent3: the Angora is non-Wagnerian and it is not a kind of a mother. sent4: if a non-Wagnerian thing is not a mother the drafter does not dash. ; $proof$ = 
sent3 -> int1: there is something such that that it is not a Wagnerian and it is not a mother is correct.; int1 & sent4 -> int2: the drafter is not a kind of a dashiki.; sent1 -> int3: the drafter is loopy.; int2 & int3 -> int4: the drafter is not a kind of a dashiki and is loopy.; int4 & sent2 -> hypothesis; __PROVED__