that the peel is not tractive but it does partner does not hold if it is a blackcock.
sent1: the bedroll is not Platonic and depressurizes aureole. sent2: if the peel is not prelapsarian then the fact that it is not tractive and it partners is false. sent3: the fact that the peel is a kind of tractive thing that does partner is incorrect if it is a kind of a blackcock. sent4: the peel is hypovolemic if it is prelapsarian. sent5: if the bedroll is not Platonic it is not a kind of a sexagenarian and it enters Louisiana. sent6: something is not arbitrary if it is a blackcock and it is hypovolemic.
void -> assump2: Let's assume that the peel is prelapsarian.; sent4 & assump2 -> int1: the peel is hypovolemic.; void -> assump1: Let's assume that the peel is a blackcock.; int1 & assump1 -> int2: the peel is a kind of a blackcock that is hypovolemic.; sent6 -> int3: if the peel is a blackcock and it is hypovolemic it is not arbitrary.; int2 & int3 -> int4: the peel is not arbitrary.; sent1 -> int5: the bedroll is not Platonic.; sent5 & int5 -> int6: the bedroll is not a sexagenarian and enters Louisiana.;
$hypothesis$ = that the peel is not tractive but it does partner does not hold if it is a blackcock. ; $context$ = sent1: the bedroll is not Platonic and depressurizes aureole. sent2: if the peel is not prelapsarian then the fact that it is not tractive and it partners is false. sent3: the fact that the peel is a kind of tractive thing that does partner is incorrect if it is a kind of a blackcock. sent4: the peel is hypovolemic if it is prelapsarian. sent5: if the bedroll is not Platonic it is not a kind of a sexagenarian and it enters Louisiana. sent6: something is not arbitrary if it is a blackcock and it is hypovolemic. ; $proof$ = 
void -> assump2: Let's assume that the peel is prelapsarian.; sent4 & assump2 -> int1: the peel is hypovolemic.; void -> assump1: Let's assume that the peel is a blackcock.; int1 & assump1 -> int2: the peel is a kind of a blackcock that is hypovolemic.; sent6 -> int3: if the peel is a blackcock and it is hypovolemic it is not arbitrary.; int2 & int3 -> int4: the peel is not arbitrary.; sent1 -> int5: the bedroll is not Platonic.; sent5 & int5 -> int6: the bedroll is not a sexagenarian and enters Louisiana.; __UNKNOWN__