there exists something such that if it does not gather Wiesenthal and it is a kind of a Cottus then it does not gather dracontium.
sent1: if the wafer does not bridle and is a kind of an arbitrageur then it does not gather madrasa. sent2: that there exists something such that if it is not a unthoughtfulness and sickens immigration then that it is not a kind of a glucoside hold is not false. sent3: if the orangutan does not gather dalliance and is a kind of a Kyd then it does not gather dracontium. sent4: there is something such that if it does gather Wiesenthal and it is a kind of a Cottus it does not gather dracontium. sent5: if the wafer does not gather Wiesenthal and is a Cottus it does gather dracontium. sent6: the wafer does not gather dracontium if it does not gather Wiesenthal and it is a Cottus. sent7: the wafer does not gather Wiesenthal if it does not suborn okra and it is unhappy. sent8: there is something such that if it does not bar Steen and it is a bridle it does not bar echoing. sent9: that there exists something such that if it does not sicken troop and it is a Shostakovich it is not a kind of a render is true. sent10: there exists something such that if it does not gather Wiesenthal and is a Cottus then it does gather dracontium. sent11: there is something such that if it is both an intrusiveness and just then it is not a cart. sent12: if the wafer does gather Wiesenthal and is a kind of a Cottus it does not gather dracontium. sent13: the fact that the wafer is not a Bennett is not wrong if it does not gather Wiesenthal and it is tetanic. sent14: if something is both sealed and an aqua then it does not suborn sleuth.
sent6 -> hypothesis;
there is something such that if it is not uncertain and it is an aqua it does not suborn sleuth.
sent14 -> int1: the dracontium does not suborn sleuth if it is not uncertain and it is an aqua.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not gather Wiesenthal and it is a kind of a Cottus then it does not gather dracontium. ; $context$ = sent1: if the wafer does not bridle and is a kind of an arbitrageur then it does not gather madrasa. sent2: that there exists something such that if it is not a unthoughtfulness and sickens immigration then that it is not a kind of a glucoside hold is not false. sent3: if the orangutan does not gather dalliance and is a kind of a Kyd then it does not gather dracontium. sent4: there is something such that if it does gather Wiesenthal and it is a kind of a Cottus it does not gather dracontium. sent5: if the wafer does not gather Wiesenthal and is a Cottus it does gather dracontium. sent6: the wafer does not gather dracontium if it does not gather Wiesenthal and it is a Cottus. sent7: the wafer does not gather Wiesenthal if it does not suborn okra and it is unhappy. sent8: there is something such that if it does not bar Steen and it is a bridle it does not bar echoing. sent9: that there exists something such that if it does not sicken troop and it is a Shostakovich it is not a kind of a render is true. sent10: there exists something such that if it does not gather Wiesenthal and is a Cottus then it does gather dracontium. sent11: there is something such that if it is both an intrusiveness and just then it is not a cart. sent12: if the wafer does gather Wiesenthal and is a kind of a Cottus it does not gather dracontium. sent13: the fact that the wafer is not a Bennett is not wrong if it does not gather Wiesenthal and it is tetanic. sent14: if something is both sealed and an aqua then it does not suborn sleuth. ; $proof$ = 
sent6 -> hypothesis; __PROVED__