the fact that the postulator does not shaft Leningrad and it does not perpetuate escapist is incorrect.
sent1: the leaf does evict quibble but it is not a Tayassuidae. sent2: the leaf does not shaft Leningrad. sent3: the leaf does not evict quibble if the postulator does not shaft Leningrad and it does not perpetuate escapist.
void -> assump1: Let's assume that that the postulator does not shaft Leningrad and it does not perpetuate escapist is not incorrect.; sent3 & assump1 -> int1: the leaf does not evict quibble.; sent1 -> int2: the leaf evicts quibble.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the postulator does not shaft Leningrad and it does not perpetuate escapist is incorrect. ; $context$ = sent1: the leaf does evict quibble but it is not a Tayassuidae. sent2: the leaf does not shaft Leningrad. sent3: the leaf does not evict quibble if the postulator does not shaft Leningrad and it does not perpetuate escapist. ; $proof$ = 
void -> assump1: Let's assume that that the postulator does not shaft Leningrad and it does not perpetuate escapist is not incorrect.; sent3 & assump1 -> int1: the leaf does not evict quibble.; sent1 -> int2: the leaf evicts quibble.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__