there exists something such that if it is a parasympathetic and it is not binomial then it is not a horseleech.
sent1: the foster-child is a horseleech if that it is a kind of a parasympathetic and it is not a binomial is not wrong. sent2: if a parasympathetic thing is binomial it is not a horseleech. sent3: if a parasympathetic is not a kind of a binomial it is a kind of a horseleech. sent4: that there is something such that if it is a kind of parasympathetic thing that is not non-binomial then the fact that it is not a horseleech hold is not false. sent5: if a biquadratic thing does not exult it is not a kind of a pull-off. sent6: there exists something such that if it is a parasympathetic and it is not a kind of a binomial it is a kind of a horseleech. sent7: the arrival does not coach ensign if it corkscrews snob and it is not repetitive. sent8: if the foster-child is parasympathetic a binomial it is not a horseleech. sent9: if something is not non-parasympathetic and is not a binomial then it is not a horseleech. sent10: the brewpub is not pyroligneous if it is a horseleech and does not backstroke. sent11: if something that is a kind of a Haggadah is not a pull-off that it is not stemless is right.
sent9 -> int1: if the foster-child is a kind of a parasympathetic and is not a binomial it is not a horseleech.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a parasympathetic and it is not binomial then it is not a horseleech. ; $context$ = sent1: the foster-child is a horseleech if that it is a kind of a parasympathetic and it is not a binomial is not wrong. sent2: if a parasympathetic thing is binomial it is not a horseleech. sent3: if a parasympathetic is not a kind of a binomial it is a kind of a horseleech. sent4: that there is something such that if it is a kind of parasympathetic thing that is not non-binomial then the fact that it is not a horseleech hold is not false. sent5: if a biquadratic thing does not exult it is not a kind of a pull-off. sent6: there exists something such that if it is a parasympathetic and it is not a kind of a binomial it is a kind of a horseleech. sent7: the arrival does not coach ensign if it corkscrews snob and it is not repetitive. sent8: if the foster-child is parasympathetic a binomial it is not a horseleech. sent9: if something is not non-parasympathetic and is not a binomial then it is not a horseleech. sent10: the brewpub is not pyroligneous if it is a horseleech and does not backstroke. sent11: if something that is a kind of a Haggadah is not a pull-off that it is not stemless is right. ; $proof$ = 
sent9 -> int1: if the foster-child is a kind of a parasympathetic and is not a binomial it is not a horseleech.; int1 -> hypothesis; __PROVED__