the rung is not a pastiche.
sent1: the woodenware is not a cardinal. sent2: everything is an aesthetics. sent3: the rung is not a cardinal. sent4: that if the rung is a kind of the pastiche then the rung is a Nash hold.
void -> assump1: Let's assume that the rung is a pastiche.; sent4 & assump1 -> int1: the rung is a Nash.;
the rung is a pastiche.
sent2 -> int2: the Zinjanthropus is a kind of an aesthetics.;
$hypothesis$ = the rung is not a pastiche. ; $context$ = sent1: the woodenware is not a cardinal. sent2: everything is an aesthetics. sent3: the rung is not a cardinal. sent4: that if the rung is a kind of the pastiche then the rung is a Nash hold. ; $proof$ = 
void -> assump1: Let's assume that the rung is a pastiche.; sent4 & assump1 -> int1: the rung is a Nash.; __UNKNOWN__