there exists something such that if it marbleizes then it is adventuristic.
sent1: there exists something such that if it is a Ornithischia then it does interpolate Angevin. sent2: something is a kind of a disorientation if it is a flashing. sent3: a rig is rocky. sent4: there exists something such that if it is an affidavit it is a tomtit. sent5: that there exists something such that if the fact that it is not a acrophony is incorrect it is an award hold. sent6: there is something such that if it does dine the fact that it is a incompleteness is right. sent7: if the gaur does look Gdansk it is steroidal. sent8: there exists something such that if it looks crupper it gases. sent9: if something is a Hegelian the fact that it does permit syzygy is not incorrect. sent10: the gaur does marbleize if it is a organ-grinder. sent11: there exists something such that if it does permit secureness then it is a saccharinity. sent12: that there exists something such that if it is a pock it is a diagonalization is not false. sent13: if that the syzygy is adventuristic is right then it is chaetognathan. sent14: there exists something such that if it does utilize that it does flash is not incorrect. sent15: if the gaur does marbleize it is adventuristic. sent16: there is something such that if the fact that it is unlawful is not false then it is a Moor. sent17: there exists something such that if it is a Loren it is a Lyon. sent18: the gaur is exculpatory if it does lunge. sent19: if the gaur is adventuristic then it is a tomtit. sent20: that the gaur is adventuristic is not false if that it is stainable is not wrong.
sent15 -> hypothesis;
there is something such that if it is a rig it is rocky.
sent3 -> int1: that the codlins-and-cream is rocky hold if it rigs.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it marbleizes then it is adventuristic. ; $context$ = sent1: there exists something such that if it is a Ornithischia then it does interpolate Angevin. sent2: something is a kind of a disorientation if it is a flashing. sent3: a rig is rocky. sent4: there exists something such that if it is an affidavit it is a tomtit. sent5: that there exists something such that if the fact that it is not a acrophony is incorrect it is an award hold. sent6: there is something such that if it does dine the fact that it is a incompleteness is right. sent7: if the gaur does look Gdansk it is steroidal. sent8: there exists something such that if it looks crupper it gases. sent9: if something is a Hegelian the fact that it does permit syzygy is not incorrect. sent10: the gaur does marbleize if it is a organ-grinder. sent11: there exists something such that if it does permit secureness then it is a saccharinity. sent12: that there exists something such that if it is a pock it is a diagonalization is not false. sent13: if that the syzygy is adventuristic is right then it is chaetognathan. sent14: there exists something such that if it does utilize that it does flash is not incorrect. sent15: if the gaur does marbleize it is adventuristic. sent16: there is something such that if the fact that it is unlawful is not false then it is a Moor. sent17: there exists something such that if it is a Loren it is a Lyon. sent18: the gaur is exculpatory if it does lunge. sent19: if the gaur is adventuristic then it is a tomtit. sent20: that the gaur is adventuristic is not false if that it is stainable is not wrong. ; $proof$ = 
sent15 -> hypothesis; __PROVED__