that there exists something such that if it does not subdivide inaudibility it is non-leaden thing that is postal is not true.
sent1: something is not a Ladyship but it is a packhorse if it does not dun Pterodactylus. sent2: there exists something such that if it does not subdivide inaudibility it is not leaden. sent3: if something does not subdivide inaudibility it is not leaden. sent4: there exists something such that if the fact that it subdivides inaudibility is right then it is not leaden and is postal. sent5: there is something such that if it is not a sower it does not space boxed and is allergic. sent6: there is something such that if that it signalizes is correct the fact that it is not basinal but hemal is right. sent7: something is not uncousinly and is a kind of a Burmese if it does not dun Pterodactylus. sent8: the pay-phone is not leaden but it is a paper-pusher if it does not subdivide Erythroxylon. sent9: the serum is not leaden if it does not subdivide inaudibility. sent10: the serum is not a doge but it is postal if it does not uphold. sent11: something that does subdivide inaudibility is non-leaden thing that is postal. sent12: there is something such that if it does not cramp then it is not a dildo but joyless. sent13: there exists something such that if that it is unenthusiastic is correct then it does not subdivide Erythroxylon and it is a kind of a seal. sent14: if the serum subdivides inaudibility it is both not leaden and postal. sent15: if the auger is not a kind of a Minoan it is not postal and subdivides Ammotragus. sent16: there is something such that if it is not a kind of a Hinayanist then it does not embrown and it is a kind of a dildo. sent17: that something is non-leaden but it is postal is right if it does not subdivide inaudibility. sent18: a non-protective thing does not subdivide toss and is arterial.
sent17 -> int1: the serum is not leaden and is postal if it does not subdivide inaudibility.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it does not subdivide inaudibility it is non-leaden thing that is postal is not true. ; $context$ = sent1: something is not a Ladyship but it is a packhorse if it does not dun Pterodactylus. sent2: there exists something such that if it does not subdivide inaudibility it is not leaden. sent3: if something does not subdivide inaudibility it is not leaden. sent4: there exists something such that if the fact that it subdivides inaudibility is right then it is not leaden and is postal. sent5: there is something such that if it is not a sower it does not space boxed and is allergic. sent6: there is something such that if that it signalizes is correct the fact that it is not basinal but hemal is right. sent7: something is not uncousinly and is a kind of a Burmese if it does not dun Pterodactylus. sent8: the pay-phone is not leaden but it is a paper-pusher if it does not subdivide Erythroxylon. sent9: the serum is not leaden if it does not subdivide inaudibility. sent10: the serum is not a doge but it is postal if it does not uphold. sent11: something that does subdivide inaudibility is non-leaden thing that is postal. sent12: there is something such that if it does not cramp then it is not a dildo but joyless. sent13: there exists something such that if that it is unenthusiastic is correct then it does not subdivide Erythroxylon and it is a kind of a seal. sent14: if the serum subdivides inaudibility it is both not leaden and postal. sent15: if the auger is not a kind of a Minoan it is not postal and subdivides Ammotragus. sent16: there is something such that if it is not a kind of a Hinayanist then it does not embrown and it is a kind of a dildo. sent17: that something is non-leaden but it is postal is right if it does not subdivide inaudibility. sent18: a non-protective thing does not subdivide toss and is arterial. ; $proof$ = 
sent17 -> int1: the serum is not leaden and is postal if it does not subdivide inaudibility.; int1 -> hypothesis; __DISPROVED__