the pimozide is not disjunctive.
sent1: that that the pimozide is cetacean but it does not freckle pinstripe is correct does not hold if something is a kind of a Haydn. sent2: the fact that the pant does organize Pleuronectidae and it is a kind of a Ventose is not true. sent3: that the pant is a Ventose and cetacean does not hold if there exists something such that it does organize Pleuronectidae. sent4: the breaker mismanages yellowbird and is cetacean. sent5: that the pant is not a Ventose is true if the fact that it does organize Pleuronectidae and is a kind of a Ventose is wrong. sent6: if that something is a kind of a cetacean and does not freckle pinstripe does not hold then it is not disjunctive. sent7: if something does freckle pinstripe it is not disjunctive.
sent5 & sent2 -> int1: the pant is not a Ventose.; sent6 -> int2: the pimozide is not disjunctive if that it is a cetacean and it does not freckle pinstripe is not correct.;
$hypothesis$ = the pimozide is not disjunctive. ; $context$ = sent1: that that the pimozide is cetacean but it does not freckle pinstripe is correct does not hold if something is a kind of a Haydn. sent2: the fact that the pant does organize Pleuronectidae and it is a kind of a Ventose is not true. sent3: that the pant is a Ventose and cetacean does not hold if there exists something such that it does organize Pleuronectidae. sent4: the breaker mismanages yellowbird and is cetacean. sent5: that the pant is not a Ventose is true if the fact that it does organize Pleuronectidae and is a kind of a Ventose is wrong. sent6: if that something is a kind of a cetacean and does not freckle pinstripe does not hold then it is not disjunctive. sent7: if something does freckle pinstripe it is not disjunctive. ; $proof$ = 
sent5 & sent2 -> int1: the pant is not a Ventose.; sent6 -> int2: the pimozide is not disjunctive if that it is a cetacean and it does not freckle pinstripe is not correct.; __UNKNOWN__