the tole is not diatonic.
sent1: the pimp is a passive. sent2: the pimp is pointless if it is not irrevocable. sent3: the sculpture is not a gamelan and is phlegmy if the Nazification is a possumwood. sent4: that the Nazification is not irrevocable is not incorrect. sent5: the sculpture is not a kind of a gamelan. sent6: the Nazification is pointless if something that is a passive is a Welsh. sent7: that the tole is not diatonic is right if there is something such that it is both not a gamelan and phlegmy. sent8: the Nazification is a possumwood if the fact that it does sentimentalise and it is not irresolute is not right. sent9: the pimp is irrevocable and it is a kind of a Welsh.
sent9 -> int1: the pimp is a kind of a Welsh.; int1 & sent1 -> int2: the pimp is a kind of a passive and it is Welsh.; int2 -> int3: there exists something such that it is a kind of a passive and it is Welsh.; int3 & sent6 -> int4: the fact that the Nazification is pointless is not false.;
$hypothesis$ = the tole is not diatonic. ; $context$ = sent1: the pimp is a passive. sent2: the pimp is pointless if it is not irrevocable. sent3: the sculpture is not a gamelan and is phlegmy if the Nazification is a possumwood. sent4: that the Nazification is not irrevocable is not incorrect. sent5: the sculpture is not a kind of a gamelan. sent6: the Nazification is pointless if something that is a passive is a Welsh. sent7: that the tole is not diatonic is right if there is something such that it is both not a gamelan and phlegmy. sent8: the Nazification is a possumwood if the fact that it does sentimentalise and it is not irresolute is not right. sent9: the pimp is irrevocable and it is a kind of a Welsh. ; $proof$ = 
sent9 -> int1: the pimp is a kind of a Welsh.; int1 & sent1 -> int2: the pimp is a kind of a passive and it is Welsh.; int2 -> int3: there exists something such that it is a kind of a passive and it is Welsh.; int3 & sent6 -> int4: the fact that the Nazification is pointless is not false.; __UNKNOWN__