the cork is not stingy.
sent1: the mandarin is not a Ludian. sent2: if the cork is not stingy that the bulb is not a kind of a Manichaean and is not a kind of a Fayetteville is not correct. sent3: the cork is a schizoid and does collar mandate if the bulb is not a yellowcake. sent4: that the mandarin is a face is not incorrect if the fact that the bulb is not Manichaean and it is not a kind of a Fayetteville is false. sent5: that the stentor is not a kind of a face and it does not collar mandate is false. sent6: if that the stentor is not a kind of a face and it does not collar mandate is not right the mandarin does not face.
void -> assump1: Let's assume that the cork is not stingy.; sent2 & assump1 -> int1: the fact that the bulb is non-Manichaean and is not a Fayetteville is not right.; int1 & sent4 -> int2: the mandarin is a kind of a face.; sent6 & sent5 -> int3: the mandarin is not a kind of a face.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the incarnation is a face.
sent1 -> int5: there exists something such that the fact that it is a Ludian does not hold.;
$hypothesis$ = the cork is not stingy. ; $context$ = sent1: the mandarin is not a Ludian. sent2: if the cork is not stingy that the bulb is not a kind of a Manichaean and is not a kind of a Fayetteville is not correct. sent3: the cork is a schizoid and does collar mandate if the bulb is not a yellowcake. sent4: that the mandarin is a face is not incorrect if the fact that the bulb is not Manichaean and it is not a kind of a Fayetteville is false. sent5: that the stentor is not a kind of a face and it does not collar mandate is false. sent6: if that the stentor is not a kind of a face and it does not collar mandate is not right the mandarin does not face. ; $proof$ = 
void -> assump1: Let's assume that the cork is not stingy.; sent2 & assump1 -> int1: the fact that the bulb is non-Manichaean and is not a Fayetteville is not right.; int1 & sent4 -> int2: the mandarin is a kind of a face.; sent6 & sent5 -> int3: the mandarin is not a kind of a face.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__