the fact that there are non-wilding and non-pessimistic things hold.
sent1: if the cyberart is not a wilding the hat is wilding thing that is not pessimistic. sent2: the agglutination does not blinker implausibility if the fact that the cyberart is a Dipylon but it is not a kind of a wilding is false.
void -> assump1: Let's assume that that the cyberart is a Dipylon but it is not wilding does not hold.; sent2 & assump1 -> int1: the agglutination does not blinker implausibility.;
$hypothesis$ = the fact that there are non-wilding and non-pessimistic things hold. ; $context$ = sent1: if the cyberart is not a wilding the hat is wilding thing that is not pessimistic. sent2: the agglutination does not blinker implausibility if the fact that the cyberart is a Dipylon but it is not a kind of a wilding is false. ; $proof$ = 
void -> assump1: Let's assume that that the cyberart is a Dipylon but it is not wilding does not hold.; sent2 & assump1 -> int1: the agglutination does not blinker implausibility.; __UNKNOWN__