there is something such that if it is a kind of a Berliner it is a racer.
sent1: the copolymer is a racer if it is a Berliner. sent2: if something is a least it is a poignance. sent3: if the fibrinase is a Berliner then that it is unthematic hold. sent4: if something is an orthodoxy the fact that it is uncut hold. sent5: there is something such that if it is a Caucasian then it is a cod. sent6: the comforts is a kind of a mahout if it is a poignance. sent7: the fact that the copolymer conceives is right if it is a Casmerodius. sent8: there exists something such that if it is a kind of a Warhol then it does equilibrate. sent9: something that revenges Reverend settles highboy.
sent1 -> hypothesis;
there is something such that if it is a kind of an orthodoxy it is uncut.
sent4 -> int1: if the amobarbital is an orthodoxy it is uncut.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of a Berliner it is a racer. ; $context$ = sent1: the copolymer is a racer if it is a Berliner. sent2: if something is a least it is a poignance. sent3: if the fibrinase is a Berliner then that it is unthematic hold. sent4: if something is an orthodoxy the fact that it is uncut hold. sent5: there is something such that if it is a Caucasian then it is a cod. sent6: the comforts is a kind of a mahout if it is a poignance. sent7: the fact that the copolymer conceives is right if it is a Casmerodius. sent8: there exists something such that if it is a kind of a Warhol then it does equilibrate. sent9: something that revenges Reverend settles highboy. ; $proof$ = 
sent1 -> hypothesis; __PROVED__