the fact that there is something such that if it is not a kind of a compress then that it is on-the-job and it does circle subsidence is false does not hold.
sent1: if something is not ionic that it is insecticidal and it is on-the-job does not hold. sent2: if the speculator is productive that it does circle subsidence and does award muskrat is not correct. sent3: that that the illustrator circles marathoner and is on-the-job is not true hold if it is not a kind of a pharmacy. sent4: if the illustrator compresses that it is on-the-job thing that circles subsidence is not correct. sent5: there is something such that if it does not compress then it is a kind of on-the-job thing that does circle subsidence. sent6: there exists something such that if it is not annexational then the fact that it is a fifteenth and is ionic is not true. sent7: there is something such that if it is not transdermal then that it does obscure militainment and is strong is false. sent8: if the illustrator does not factorize Horace the fact that it is a kind of a flatfish that is a compress does not hold. sent9: if the illustrator does not circle subsidence then that it is a flatfish and it is polydactyl is false. sent10: there is something such that if it is a compress then the fact that it is on-the-job and circles subsidence is not right. sent11: there exists something such that if it is not a adrenergic the fact that it is a debut and it is gastrointestinal is false. sent12: if the jointer does not circle Podicipedidae then that it is a kind of a becket that does circle subsidence is not correct. sent13: if the monomaniac does not circle subsidence that it circles neritid and it is a Silvia does not hold. sent14: if the illustrator is not a compress then that it is a pave and it is a Benzedrine is not true. sent15: the illustrator is on-the-job and does circle subsidence if it is not a compress. sent16: if the greenshank does not circle marathoner that it does award overestimate and it is postbiblical does not hold. sent17: that the illustrator is a baseness and is a one-liner is incorrect if it is not on-the-job. sent18: that the illustrator is on-the-job and it does circle subsidence does not hold if the fact that it is not a kind of a compress hold.
sent18 -> hypothesis;
the fact that the Mohammedan is insecticidal and it is on-the-job is not correct if it is not ionic.
sent1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a kind of a compress then that it is on-the-job and it does circle subsidence is false does not hold. ; $context$ = sent1: if something is not ionic that it is insecticidal and it is on-the-job does not hold. sent2: if the speculator is productive that it does circle subsidence and does award muskrat is not correct. sent3: that that the illustrator circles marathoner and is on-the-job is not true hold if it is not a kind of a pharmacy. sent4: if the illustrator compresses that it is on-the-job thing that circles subsidence is not correct. sent5: there is something such that if it does not compress then it is a kind of on-the-job thing that does circle subsidence. sent6: there exists something such that if it is not annexational then the fact that it is a fifteenth and is ionic is not true. sent7: there is something such that if it is not transdermal then that it does obscure militainment and is strong is false. sent8: if the illustrator does not factorize Horace the fact that it is a kind of a flatfish that is a compress does not hold. sent9: if the illustrator does not circle subsidence then that it is a flatfish and it is polydactyl is false. sent10: there is something such that if it is a compress then the fact that it is on-the-job and circles subsidence is not right. sent11: there exists something such that if it is not a adrenergic the fact that it is a debut and it is gastrointestinal is false. sent12: if the jointer does not circle Podicipedidae then that it is a kind of a becket that does circle subsidence is not correct. sent13: if the monomaniac does not circle subsidence that it circles neritid and it is a Silvia does not hold. sent14: if the illustrator is not a compress then that it is a pave and it is a Benzedrine is not true. sent15: the illustrator is on-the-job and does circle subsidence if it is not a compress. sent16: if the greenshank does not circle marathoner that it does award overestimate and it is postbiblical does not hold. sent17: that the illustrator is a baseness and is a one-liner is incorrect if it is not on-the-job. sent18: that the illustrator is on-the-job and it does circle subsidence does not hold if the fact that it is not a kind of a compress hold. ; $proof$ = 
sent18 -> hypothesis; __DISPROVED__