there exists something such that if it is a gargle it is both not a warship and tympanitic.
sent1: if the gown gargles then it is not a warship. sent2: if something is a warship it is non-brunet thing that does wake metalwork. sent3: there is something such that if it gargles then that it is tympanitic is not false. sent4: if something is a kind of a clearing it is not statistical and it is a spike. sent5: there is something such that if it gargles then it is not a warship. sent6: the gown does not gargle but it is a abducent if it reflects norgestrel. sent7: if the gown is a kind of a gargle then it is both not a warship and tympanitic. sent8: there is something such that if it does err then it is not rupestral and it does shillyshally. sent9: something does not traverse but it does drizzle Patrick if it is an elixir. sent10: there exists something such that if it does reflect Tabanidae it is not a sisterhood and it wakes metalwork. sent11: if the owner is a internationality then it is not a kind of a foundering and it is a Tyndale. sent12: there is something such that if that it is a sisterhood is correct it is a statics and it is a crabbed. sent13: there exists something such that if it gargles then it is a kind of a warship and it is tympanitic. sent14: if the mimic is calciferous then it is a kind of non-calcicolous thing that is tympanitic.
sent7 -> hypothesis;
there is something such that if it is a kind of an elixir it does not traverse and drizzles Patrick.
sent9 -> int1: the bead does not traverse but it does drizzle Patrick if it is an elixir.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a gargle it is both not a warship and tympanitic. ; $context$ = sent1: if the gown gargles then it is not a warship. sent2: if something is a warship it is non-brunet thing that does wake metalwork. sent3: there is something such that if it gargles then that it is tympanitic is not false. sent4: if something is a kind of a clearing it is not statistical and it is a spike. sent5: there is something such that if it gargles then it is not a warship. sent6: the gown does not gargle but it is a abducent if it reflects norgestrel. sent7: if the gown is a kind of a gargle then it is both not a warship and tympanitic. sent8: there is something such that if it does err then it is not rupestral and it does shillyshally. sent9: something does not traverse but it does drizzle Patrick if it is an elixir. sent10: there exists something such that if it does reflect Tabanidae it is not a sisterhood and it wakes metalwork. sent11: if the owner is a internationality then it is not a kind of a foundering and it is a Tyndale. sent12: there is something such that if that it is a sisterhood is correct it is a statics and it is a crabbed. sent13: there exists something such that if it gargles then it is a kind of a warship and it is tympanitic. sent14: if the mimic is calciferous then it is a kind of non-calcicolous thing that is tympanitic. ; $proof$ = 
sent7 -> hypothesis; __PROVED__