if that the chum is both mutative and not undescriptive is not correct the PCP is not a kind of a picador.
sent1: the PCP does not name subunit if the fact that the chum is a picador and is mutative does not hold. sent2: the PCP is not a picador if something that does not confabulate names subunit. sent3: the fact that the PCP does name subunit hold if the bartlett is not a picador. sent4: the bartlett does not confabulate and does name subunit if the phalanger does name subunit.
$hypothesis$ = if that the chum is both mutative and not undescriptive is not correct the PCP is not a kind of a picador. ; $context$ = sent1: the PCP does not name subunit if the fact that the chum is a picador and is mutative does not hold. sent2: the PCP is not a picador if something that does not confabulate names subunit. sent3: the fact that the PCP does name subunit hold if the bartlett is not a picador. sent4: the bartlett does not confabulate and does name subunit if the phalanger does name subunit. ; $proof$ = 
__UNKNOWN__