the fact that either the PPLO is a kind of a pronominal or it is woody or both does not hold.
sent1: if the barong is a kind of a Arcidae the beneficiary teaches Centranthus. sent2: if the barong sediments Bankhead it is a sleekness. sent3: if something is not a sleekness that it is pronominal and/or it is woody is not right. sent4: something does not teach Centranthus if it is not anemic and not a hospice. sent5: if there is something such that it is a sleekness either the barong is a Arcidae or it sediments Bankhead or both. sent6: the beneficiary does teach Centranthus if the barong sediments Bankhead. sent7: the barong is not anemic. sent8: if something is not anemic then the fact that it is woody thing that does not sediment Bankhead is false. sent9: if that the ferroconcrete teaches Centranthus is correct then the beneficiary is a Arcidae but it does not sediment Bankhead. sent10: if the beneficiary is not alvine then it is not anemic and not a hospice. sent11: if that the barong is a pronominal is right it is a kind of a Arcidae.
void -> assump1: Let's assume that the fact that the PPLO is a sleekness is not false.; assump1 -> int1: there exists something such that it is a sleekness.; int1 & sent5 -> int2: the barong is a Arcidae and/or it sediments Bankhead.; int2 & sent1 & sent6 -> int3: the beneficiary teaches Centranthus.; sent4 -> int4: if the beneficiary is a kind of non-anemic thing that is not a hospice then it does not teach Centranthus.; sent3 -> int5: the fact that that the PPLO is a kind of a pronominal and/or it is woody is false is not false if it is not a sleekness.;
the PPLO is a kind of a pronominal and/or it is woody.
$hypothesis$ = the fact that either the PPLO is a kind of a pronominal or it is woody or both does not hold. ; $context$ = sent1: if the barong is a kind of a Arcidae the beneficiary teaches Centranthus. sent2: if the barong sediments Bankhead it is a sleekness. sent3: if something is not a sleekness that it is pronominal and/or it is woody is not right. sent4: something does not teach Centranthus if it is not anemic and not a hospice. sent5: if there is something such that it is a sleekness either the barong is a Arcidae or it sediments Bankhead or both. sent6: the beneficiary does teach Centranthus if the barong sediments Bankhead. sent7: the barong is not anemic. sent8: if something is not anemic then the fact that it is woody thing that does not sediment Bankhead is false. sent9: if that the ferroconcrete teaches Centranthus is correct then the beneficiary is a Arcidae but it does not sediment Bankhead. sent10: if the beneficiary is not alvine then it is not anemic and not a hospice. sent11: if that the barong is a pronominal is right it is a kind of a Arcidae. ; $proof$ = 
void -> assump1: Let's assume that the fact that the PPLO is a sleekness is not false.; assump1 -> int1: there exists something such that it is a sleekness.; int1 & sent5 -> int2: the barong is a Arcidae and/or it sediments Bankhead.; int2 & sent1 & sent6 -> int3: the beneficiary teaches Centranthus.; sent4 -> int4: if the beneficiary is a kind of non-anemic thing that is not a hospice then it does not teach Centranthus.; sent3 -> int5: the fact that that the PPLO is a kind of a pronominal and/or it is woody is false is not false if it is not a sleekness.; __UNKNOWN__