the secobarbital does not encrimson reticulum and is a tarpan.
sent1: the PDA is not a kind of a BA and it does not bestrew buckthorn. sent2: that the PDA is a kind of a Myrmidon is not wrong if the fact that the viscus is epicarpal but it is not an ultimatum is wrong. sent3: if the PDA is a kind of a Myrmidon then the fact that it is not a BA and it does not bestrew buckthorn does not hold. sent4: the viscus is a kind of a tarpan if it is epicarpal but not an ultimatum.
void -> assump1: Let's assume that that the viscus is epicarpal thing that is not a kind of an ultimatum is incorrect.; sent2 & assump1 -> int1: the PDA is a Myrmidon.; int1 & sent3 -> int2: that the PDA is not a BA and it does not bestrew buckthorn is not true.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the viscus is epicarpal but it is not an ultimatum.; int4 & sent4 -> int5: the viscus is a tarpan.;
$hypothesis$ = the secobarbital does not encrimson reticulum and is a tarpan. ; $context$ = sent1: the PDA is not a kind of a BA and it does not bestrew buckthorn. sent2: that the PDA is a kind of a Myrmidon is not wrong if the fact that the viscus is epicarpal but it is not an ultimatum is wrong. sent3: if the PDA is a kind of a Myrmidon then the fact that it is not a BA and it does not bestrew buckthorn does not hold. sent4: the viscus is a kind of a tarpan if it is epicarpal but not an ultimatum. ; $proof$ = 
void -> assump1: Let's assume that that the viscus is epicarpal thing that is not a kind of an ultimatum is incorrect.; sent2 & assump1 -> int1: the PDA is a Myrmidon.; int1 & sent3 -> int2: that the PDA is not a BA and it does not bestrew buckthorn is not true.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the viscus is epicarpal but it is not an ultimatum.; int4 & sent4 -> int5: the viscus is a tarpan.; __UNKNOWN__