there is something such that if it is a kind of a postdoctoral it is not a tactlessness.
sent1: something is non-postdoctoral if it is a Goofy. sent2: there is something such that if the fact that it is a splice hold then it is not billiards. sent3: the broadbill is not atrial if it is a kind of a postdoctoral. sent4: there is something such that if it is glial then it is violent. sent5: there is something such that if it is a postdoctoral then it is a kind of a tactlessness. sent6: if something is a gum-lac then it is not thalamocortical. sent7: there is something such that if it is a kind of a misbehavior it is not a freeze. sent8: if the broadbill is a postdoctoral it does not hear Anthidium. sent9: something does not undertake if it pages elegance. sent10: there is something such that if it is a superclass it is not a colloquy. sent11: if the Wheeler is a totalitarian it does not palpitate. sent12: that the broadbill is not allometric if the broadbill is a postdoctoral hold. sent13: there exists something such that if the fact that it does congratulate corded is not wrong that it is not a decasyllable is correct. sent14: if the broadbill is a kind of a postdoctoral it is not a tactlessness. sent15: if the broadbill is a kind of a vaudeville then it is not unfathomable. sent16: if the broadbill is ripe the fact that it is not a tactlessness hold. sent17: if the broadbill does hear theosophy then it is not a postdoctoral. sent18: if the broadbill is a kind of a postdoctoral then it is a tactlessness. sent19: that there exists something such that if it is a kind of a Tobago it is catadromous hold. sent20: if the broadbill hears broadbill it is not a tactlessness.
sent14 -> hypothesis;
there exists something such that if it pages elegance then it does not undertake.
sent9 -> int1: the fact that the ribbonfish does not undertake hold if it pages elegance.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of a postdoctoral it is not a tactlessness. ; $context$ = sent1: something is non-postdoctoral if it is a Goofy. sent2: there is something such that if the fact that it is a splice hold then it is not billiards. sent3: the broadbill is not atrial if it is a kind of a postdoctoral. sent4: there is something such that if it is glial then it is violent. sent5: there is something such that if it is a postdoctoral then it is a kind of a tactlessness. sent6: if something is a gum-lac then it is not thalamocortical. sent7: there is something such that if it is a kind of a misbehavior it is not a freeze. sent8: if the broadbill is a postdoctoral it does not hear Anthidium. sent9: something does not undertake if it pages elegance. sent10: there is something such that if it is a superclass it is not a colloquy. sent11: if the Wheeler is a totalitarian it does not palpitate. sent12: that the broadbill is not allometric if the broadbill is a postdoctoral hold. sent13: there exists something such that if the fact that it does congratulate corded is not wrong that it is not a decasyllable is correct. sent14: if the broadbill is a kind of a postdoctoral it is not a tactlessness. sent15: if the broadbill is a kind of a vaudeville then it is not unfathomable. sent16: if the broadbill is ripe the fact that it is not a tactlessness hold. sent17: if the broadbill does hear theosophy then it is not a postdoctoral. sent18: if the broadbill is a kind of a postdoctoral then it is a tactlessness. sent19: that there exists something such that if it is a kind of a Tobago it is catadromous hold. sent20: if the broadbill hears broadbill it is not a tactlessness. ; $proof$ = 
sent14 -> hypothesis; __PROVED__