there exists something such that if that it does charm pun hold then that it is stoloniferous and it is not an arbitrageur does not hold.
sent1: the fact that the arrogator is both stoloniferous and not a huddle does not hold if it is a monomaniac. sent2: the fact that the roulade is stoloniferous and it is an arbitrageur is not correct if it does charm pun. sent3: the fact that the Wave is an arbitrageur and non-Amharic is not correct if it is a Teredinidae. sent4: if the latitudinarian does rice affenpinscher then the fact that it is a Bern and it is not a kind of an arbitrageur is wrong. sent5: if that something is a kind of a detraction is not wrong then that it is a Cuculus and it is not inhospitable is wrong. sent6: there is something such that if it charms pun then that it is stoloniferous and it is an arbitrageur is false. sent7: there exists something such that if it is a gnat then that it is phrenic and it is not a couverture is incorrect. sent8: if the roulade charms pun then it is stoloniferous and not an arbitrageur. sent9: there is something such that if it is a kind of a monomaniac then that it does rice Wave and does not snag glossalgia does not hold. sent10: there is something such that if it does charm Paguridae then that it does rice headship and is not a kind of a Libyan does not hold. sent11: there exists something such that if it charms pun then it is a kind of stoloniferous thing that is not an arbitrageur. sent12: there exists something such that if it does snag saxhorn then the fact that it is a sail and it is not heterodyne is not true. sent13: if the roulade does charm pun then that it is stoloniferous but not an arbitrageur is wrong. sent14: that the roulade is a kind of stoloniferous thing that is not a blended is false if it is a kind of a quarter. sent15: if the roulade snags cod then that it is both a Dendrolagus and not relativistic does not hold. sent16: there exists something such that if it is a couverture the fact that it is a kind of a salal and it does not charm Scholastic is not right. sent17: there is something such that if it immigrates then that it does snag Sydney and is not a kind of a charm does not hold. sent18: there is something such that if it is a kind of a mum the fact that it is cytogenetics and does not warm is wrong. sent19: if the roulade is a kind of a severity that it is extropic and it is not a kind of a charm is wrong.
sent13 -> hypothesis;
the fact that there is something such that if the fact that it is a detraction is not incorrect the fact that it is a kind of a Cuculus that is not inhospitable does not hold is right.
sent5 -> int1: that the sicklepod is both a Cuculus and not inhospitable is not right if it is a detraction.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it does charm pun hold then that it is stoloniferous and it is not an arbitrageur does not hold. ; $context$ = sent1: the fact that the arrogator is both stoloniferous and not a huddle does not hold if it is a monomaniac. sent2: the fact that the roulade is stoloniferous and it is an arbitrageur is not correct if it does charm pun. sent3: the fact that the Wave is an arbitrageur and non-Amharic is not correct if it is a Teredinidae. sent4: if the latitudinarian does rice affenpinscher then the fact that it is a Bern and it is not a kind of an arbitrageur is wrong. sent5: if that something is a kind of a detraction is not wrong then that it is a Cuculus and it is not inhospitable is wrong. sent6: there is something such that if it charms pun then that it is stoloniferous and it is an arbitrageur is false. sent7: there exists something such that if it is a gnat then that it is phrenic and it is not a couverture is incorrect. sent8: if the roulade charms pun then it is stoloniferous and not an arbitrageur. sent9: there is something such that if it is a kind of a monomaniac then that it does rice Wave and does not snag glossalgia does not hold. sent10: there is something such that if it does charm Paguridae then that it does rice headship and is not a kind of a Libyan does not hold. sent11: there exists something such that if it charms pun then it is a kind of stoloniferous thing that is not an arbitrageur. sent12: there exists something such that if it does snag saxhorn then the fact that it is a sail and it is not heterodyne is not true. sent13: if the roulade does charm pun then that it is stoloniferous but not an arbitrageur is wrong. sent14: that the roulade is a kind of stoloniferous thing that is not a blended is false if it is a kind of a quarter. sent15: if the roulade snags cod then that it is both a Dendrolagus and not relativistic does not hold. sent16: there exists something such that if it is a couverture the fact that it is a kind of a salal and it does not charm Scholastic is not right. sent17: there is something such that if it immigrates then that it does snag Sydney and is not a kind of a charm does not hold. sent18: there is something such that if it is a kind of a mum the fact that it is cytogenetics and does not warm is wrong. sent19: if the roulade is a kind of a severity that it is extropic and it is not a kind of a charm is wrong. ; $proof$ = 
sent13 -> hypothesis; __PROVED__