the mestizo is not a kind of a Nycticebus and it does not become microcosm.
sent1: the mestizo is not a Nycticebus. sent2: the mestizo is not a Nycticebus if something upholds. sent3: the mestizo is not a Nycticebus and it does not become microcosm if there is something such that it does uphold. sent4: there exists something such that it does uphold.
sent4 & sent3 -> hypothesis;
$hypothesis$ = the mestizo is not a kind of a Nycticebus and it does not become microcosm. ; $context$ = sent1: the mestizo is not a Nycticebus. sent2: the mestizo is not a Nycticebus if something upholds. sent3: the mestizo is not a Nycticebus and it does not become microcosm if there is something such that it does uphold. sent4: there exists something such that it does uphold. ; $proof$ = 
sent4 & sent3 -> hypothesis; __PROVED__