the mortgagor is not pectineal.
sent1: the brassie does not sag colorlessness and does not seep Pedilanthus. sent2: if that something does seep Pedilanthus and does sag colorlessness is not right then it is not a Mandrillus. sent3: if there is something such that it does not sag colorlessness that the mortgagor is residual and not a van is incorrect. sent4: if the brassie does sag colorlessness then it is non-residual. sent5: if the armchair is a kind of a drupe then that it does not sag colorlessness hold. sent6: there is something such that that it is Cyprian and a van is false.
sent1 -> int1: the brassie does not sag colorlessness.; int1 -> int2: there is something such that the fact that it does not sag colorlessness is not wrong.; int2 & sent3 -> int3: the fact that the mortgagor is a kind of residual thing that is not a van does not hold.;
the mortgagor is pectineal.
$hypothesis$ = the mortgagor is not pectineal. ; $context$ = sent1: the brassie does not sag colorlessness and does not seep Pedilanthus. sent2: if that something does seep Pedilanthus and does sag colorlessness is not right then it is not a Mandrillus. sent3: if there is something such that it does not sag colorlessness that the mortgagor is residual and not a van is incorrect. sent4: if the brassie does sag colorlessness then it is non-residual. sent5: if the armchair is a kind of a drupe then that it does not sag colorlessness hold. sent6: there is something such that that it is Cyprian and a van is false. ; $proof$ = 
sent1 -> int1: the brassie does not sag colorlessness.; int1 -> int2: there is something such that the fact that it does not sag colorlessness is not wrong.; int2 & sent3 -> int3: the fact that the mortgagor is a kind of residual thing that is not a van does not hold.; __UNKNOWN__