there exists something such that if it axes balsam and is not a Sardinian it is not a thumbhole.
sent1: the charm is a thumbhole if it axes balsam and it is not a Sardinian. sent2: the charm does not lease standee if it is both a thumbhole and non-diocesan. sent3: if the balsam leases rushlight but it is not catkinate it is not Sardinian. sent4: there exists something such that if it does elaborate Sydenham and is not a sectional then it does not whistle. sent5: there is something such that if it does enclose phagocyte and it is not brisant it does not elaborate yaws. sent6: if the babies'-breath is a kind of a thumbhole that is not Thoreauvian it is not actinomycotic. sent7: there is something such that if the fact that it does axe balsam and is a Sardinian is not false then it is not a thumbhole. sent8: there exists something such that if it does lease astrakhan and does not lease charm then it is not a whistling. sent9: there exists something such that if it is a kind of a Spalacidae and it is not a serialism it is not a subtraction. sent10: if something is anastomotic but it does not elaborate mastiff it is not a curb. sent11: that there is something such that if it is a kind of a serialism and does not axe downtime it does not elaborate centenarian is not incorrect. sent12: if the charm does axe balsam and is not a Sardinian it is not a thumbhole. sent13: there exists something such that if it does lease touristed and does not elaborate redheaded it does not axe utilization. sent14: there exists something such that if it does axe balsam and is not a kind of a Sardinian then it is a thumbhole. sent15: that the charm does not elaborate repeat hold if it does enclose jabot and is not a thumbhole. sent16: there is something such that if it is both nonjudgmental and not a Chilean it is not epizoan. sent17: if the charm axes balsam and it is a kind of a Sardinian then it is not a thumbhole. sent18: the charm is not a kind of a thumbhole if the fact that it is a slip and it does not curb is not incorrect. sent19: if the charm is a Macedonian and is not a kind of a Sardinian then it is not a sectional.
sent12 -> hypothesis;
there is something such that if it is a kind of anastomotic thing that does not elaborate mastiff it does not curb.
sent10 -> int1: if the centenarian is anastomotic thing that does not elaborate mastiff it is not a curb.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it axes balsam and is not a Sardinian it is not a thumbhole. ; $context$ = sent1: the charm is a thumbhole if it axes balsam and it is not a Sardinian. sent2: the charm does not lease standee if it is both a thumbhole and non-diocesan. sent3: if the balsam leases rushlight but it is not catkinate it is not Sardinian. sent4: there exists something such that if it does elaborate Sydenham and is not a sectional then it does not whistle. sent5: there is something such that if it does enclose phagocyte and it is not brisant it does not elaborate yaws. sent6: if the babies'-breath is a kind of a thumbhole that is not Thoreauvian it is not actinomycotic. sent7: there is something such that if the fact that it does axe balsam and is a Sardinian is not false then it is not a thumbhole. sent8: there exists something such that if it does lease astrakhan and does not lease charm then it is not a whistling. sent9: there exists something such that if it is a kind of a Spalacidae and it is not a serialism it is not a subtraction. sent10: if something is anastomotic but it does not elaborate mastiff it is not a curb. sent11: that there is something such that if it is a kind of a serialism and does not axe downtime it does not elaborate centenarian is not incorrect. sent12: if the charm does axe balsam and is not a Sardinian it is not a thumbhole. sent13: there exists something such that if it does lease touristed and does not elaborate redheaded it does not axe utilization. sent14: there exists something such that if it does axe balsam and is not a kind of a Sardinian then it is a thumbhole. sent15: that the charm does not elaborate repeat hold if it does enclose jabot and is not a thumbhole. sent16: there is something such that if it is both nonjudgmental and not a Chilean it is not epizoan. sent17: if the charm axes balsam and it is a kind of a Sardinian then it is not a thumbhole. sent18: the charm is not a kind of a thumbhole if the fact that it is a slip and it does not curb is not incorrect. sent19: if the charm is a Macedonian and is not a kind of a Sardinian then it is not a sectional. ; $proof$ = 
sent12 -> hypothesis; __PROVED__