there exists something such that if the fact that it is not perianal is right it does not extrapolate.
sent1: the motif is not perianal if it is not a kind of a stint. sent2: the motif does not extrapolate if it is perianal. sent3: the gemma is not perianal if it does not smite Peneidae. sent4: if the spikemoss is not a quixotism then it is not perianal. sent5: if the opiate does not solidify that it does not dream moiety is true. sent6: something extrapolates if it is not perianal. sent7: the motif is not perianal if it does not exhale opiate. sent8: there exists something such that if it is perianal then it does not extrapolate. sent9: if something is perianal then it does not extrapolate. sent10: something is not Singaporean if it is not a kind of a discretion. sent11: if the motif is not perianal the fact that it does extrapolate is not wrong. sent12: something that does not exhale Bluebeard is not a disinfestation. sent13: if something is not a kind of a county then it does not whistle liftoff. sent14: the motif does not whistle Lister if it does not whistle averageness. sent15: there exists something such that if it is not uppercase that it is not fiber-optic is true. sent16: there is something such that if it is not perianal then it extrapolates. sent17: something is not a kind of a template if it does not outweigh. sent18: if the motif is not a kind of a Apidae it is not perianal. sent19: something does not extrapolate if that it is not perianal is right.
sent19 -> int1: that if the motif is not perianal the motif does not extrapolate hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not perianal is right it does not extrapolate. ; $context$ = sent1: the motif is not perianal if it is not a kind of a stint. sent2: the motif does not extrapolate if it is perianal. sent3: the gemma is not perianal if it does not smite Peneidae. sent4: if the spikemoss is not a quixotism then it is not perianal. sent5: if the opiate does not solidify that it does not dream moiety is true. sent6: something extrapolates if it is not perianal. sent7: the motif is not perianal if it does not exhale opiate. sent8: there exists something such that if it is perianal then it does not extrapolate. sent9: if something is perianal then it does not extrapolate. sent10: something is not Singaporean if it is not a kind of a discretion. sent11: if the motif is not perianal the fact that it does extrapolate is not wrong. sent12: something that does not exhale Bluebeard is not a disinfestation. sent13: if something is not a kind of a county then it does not whistle liftoff. sent14: the motif does not whistle Lister if it does not whistle averageness. sent15: there exists something such that if it is not uppercase that it is not fiber-optic is true. sent16: there is something such that if it is not perianal then it extrapolates. sent17: something is not a kind of a template if it does not outweigh. sent18: if the motif is not a kind of a Apidae it is not perianal. sent19: something does not extrapolate if that it is not perianal is right. ; $proof$ = 
sent19 -> int1: that if the motif is not perianal the motif does not extrapolate hold.; int1 -> hypothesis; __PROVED__