there is something such that if the fact that it is eolithic hold the fact that it is not a fisherman but acneiform does not hold.
sent1: there is something such that if it is a kind of a peasecod the fact that it does not cope kelvin and it is a kind of a Mediterranean is not true. sent2: if the pretzel is eolithic the fact that it is a fisherman and is acneiform is not correct. sent3: there is something such that if it is a convertible then that it is not a tail and it is a cringle does not hold. sent4: the fact that the fact that the iodothyronine is not an assay but it is acneiform is not false does not hold if it is a husky. sent5: the fact that the pretzel is a kind of non-acneiform thing that does carol amendment is wrong if the fact that it is a kind of a Gromyko hold. sent6: that the pretzel is not eolithic but it does cope pretzel is incorrect if it does replace. sent7: the pretzel is not a fisherman but acneiform if it is eolithic. sent8: that the pretzel is both not cataphatic and a cringle does not hold if it is a liquidity. sent9: there exists something such that if it is eolithic then that it is a fisherman and it is acneiform is false. sent10: that the pretzel does not cope amendment and frizzles is incorrect if that it is eolithic is not incorrect. sent11: there exists something such that if it is a Samoa then that it is not a pisser and copes cranium is false. sent12: there exists something such that if it is eolithic then it is not a kind of a fisherman and is acneiform. sent13: if the pretzel is eolithic the fact that it is not a fisherman and it is acneiform does not hold. sent14: there exists something such that if it is a kind of a immunoassay the fact that it does not lurch archaeopteryx and it is a prowl does not hold. sent15: there is something such that if it is a kind of a pyrocellulose then the fact that it is breasted and it is a kind of a pisser is not correct.
sent13 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is eolithic hold the fact that it is not a fisherman but acneiform does not hold. ; $context$ = sent1: there is something such that if it is a kind of a peasecod the fact that it does not cope kelvin and it is a kind of a Mediterranean is not true. sent2: if the pretzel is eolithic the fact that it is a fisherman and is acneiform is not correct. sent3: there is something such that if it is a convertible then that it is not a tail and it is a cringle does not hold. sent4: the fact that the fact that the iodothyronine is not an assay but it is acneiform is not false does not hold if it is a husky. sent5: the fact that the pretzel is a kind of non-acneiform thing that does carol amendment is wrong if the fact that it is a kind of a Gromyko hold. sent6: that the pretzel is not eolithic but it does cope pretzel is incorrect if it does replace. sent7: the pretzel is not a fisherman but acneiform if it is eolithic. sent8: that the pretzel is both not cataphatic and a cringle does not hold if it is a liquidity. sent9: there exists something such that if it is eolithic then that it is a fisherman and it is acneiform is false. sent10: that the pretzel does not cope amendment and frizzles is incorrect if that it is eolithic is not incorrect. sent11: there exists something such that if it is a Samoa then that it is not a pisser and copes cranium is false. sent12: there exists something such that if it is eolithic then it is not a kind of a fisherman and is acneiform. sent13: if the pretzel is eolithic the fact that it is not a fisherman and it is acneiform does not hold. sent14: there exists something such that if it is a kind of a immunoassay the fact that it does not lurch archaeopteryx and it is a prowl does not hold. sent15: there is something such that if it is a kind of a pyrocellulose then the fact that it is breasted and it is a kind of a pisser is not correct. ; $proof$ = 
sent13 -> hypothesis; __PROVED__