there exists something such that if it does not marcel it is not Solomonic.
sent1: the buttonhole is not Solomonic if it does not radio perry. sent2: the buttonhole is not a kind of a Venezuela if it is not dyslexic. sent3: the fatherland is not a kind of a marcel if it does not radio prerequisite. sent4: the fact that there exists something such that if it is not a thrash it is not hydrophilic is not incorrect. sent5: there is something such that if it is not a wonder then it is not a rarity. sent6: the buttonhole is not aleuronic if the fact that it is not a kind of a marcel is not false. sent7: something that is not a kind of a exotherm is not Solomonic. sent8: the buttonhole is not Solomonic if it is a marcel. sent9: if the buttonhole is not a marcel it is not Solomonic. sent10: if the buttonhole is not a kind of a marcel it is Solomonic. sent11: something is non-papillary if it is not repulsive. sent12: there exists something such that if it is not Jeffersonian it radios Wyler. sent13: there is something such that if the fact that it marcels is correct it is not Solomonic. sent14: if the buttonhole is not a kind of a socle it is non-separated. sent15: the clotheshorse is not Solomonic if it is not a shooter. sent16: there is something such that if the fact that it is not a marcel is not incorrect the fact that it is Solomonic is true. sent17: if the buttonhole is not a kind of a marcel the fact that it populates crocheting is right. sent18: if something is non-Solomonic it is not sympathetic. sent19: there exists something such that if it does not populate crocheting then it is not a kind of a Phallus.
sent9 -> hypothesis;
if the separate is not Solomonic it is not sympathetic.
sent18 -> hypothesis;
$hypothesis$ = there exists something such that if it does not marcel it is not Solomonic. ; $context$ = sent1: the buttonhole is not Solomonic if it does not radio perry. sent2: the buttonhole is not a kind of a Venezuela if it is not dyslexic. sent3: the fatherland is not a kind of a marcel if it does not radio prerequisite. sent4: the fact that there exists something such that if it is not a thrash it is not hydrophilic is not incorrect. sent5: there is something such that if it is not a wonder then it is not a rarity. sent6: the buttonhole is not aleuronic if the fact that it is not a kind of a marcel is not false. sent7: something that is not a kind of a exotherm is not Solomonic. sent8: the buttonhole is not Solomonic if it is a marcel. sent9: if the buttonhole is not a marcel it is not Solomonic. sent10: if the buttonhole is not a kind of a marcel it is Solomonic. sent11: something is non-papillary if it is not repulsive. sent12: there exists something such that if it is not Jeffersonian it radios Wyler. sent13: there is something such that if the fact that it marcels is correct it is not Solomonic. sent14: if the buttonhole is not a kind of a socle it is non-separated. sent15: the clotheshorse is not Solomonic if it is not a shooter. sent16: there is something such that if the fact that it is not a marcel is not incorrect the fact that it is Solomonic is true. sent17: if the buttonhole is not a kind of a marcel the fact that it populates crocheting is right. sent18: if something is non-Solomonic it is not sympathetic. sent19: there exists something such that if it does not populate crocheting then it is not a kind of a Phallus. ; $proof$ = 
sent9 -> hypothesis; __PROVED__