the fact that the Strand does enthrone is right.
sent1: there is nothing that is not peritoneal and is nonsyllabic. sent2: if that something is a MANPAD and not a care does not hold it does enthrone. sent3: something does secede if the fact that it is both not peritoneal and nonsyllabic is false.
void -> assump1: Let's assume that the fact that the Strand is a kind of a MANPAD that is not a care is correct.; sent3 -> int1: the Strand secedes if the fact that it is not peritoneal and it is nonsyllabic is incorrect.; sent1 -> int2: that the Strand is a kind of non-peritoneal thing that is nonsyllabic does not hold.; int1 & int2 -> int3: the fact that the Strand does secede is correct.; sent2 -> int4: if the fact that the Strand is a MANPAD but it is not a care is false it does enthrone.;
$hypothesis$ = the fact that the Strand does enthrone is right. ; $context$ = sent1: there is nothing that is not peritoneal and is nonsyllabic. sent2: if that something is a MANPAD and not a care does not hold it does enthrone. sent3: something does secede if the fact that it is both not peritoneal and nonsyllabic is false. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Strand is a kind of a MANPAD that is not a care is correct.; sent3 -> int1: the Strand secedes if the fact that it is not peritoneal and it is nonsyllabic is incorrect.; sent1 -> int2: that the Strand is a kind of non-peritoneal thing that is nonsyllabic does not hold.; int1 & int2 -> int3: the fact that the Strand does secede is correct.; sent2 -> int4: if the fact that the Strand is a MANPAD but it is not a care is false it does enthrone.; __UNKNOWN__