there is something such that if it wrestles dun then that it is a joy and it does not broker does not hold.
sent1: if the lenticel does wrestle dun then that it is a joy and it does not broker is false. sent2: if something grumbles guarantee that it does broker and it does not gluttonize is not true. sent3: that the chrome does broker but it is not a kind of a refill does not hold if it is amnestic. sent4: there is something such that if it does wrestle dun the fact that it is a joy that brokers is not right. sent5: the lenticel is a joy but it does not broker if it wrestles dun. sent6: the fact that something does grumble she-oak and does not divert is not true if it is a kind of a dessiatine. sent7: if the lenticel does wrestle dun that it is a joy and brokers is not right. sent8: there exists something such that if it is a laboriousness then the fact that it is both not non-foolish and not a primary is not correct. sent9: that something does wrestle dun but it is not a kind of a molindone is false if it is lobular. sent10: the lenticel grumbles guarantee but it is not a space if it is Jain. sent11: there is something such that if that it wrestles dun is not false then it is a kind of a joy and it does not broker. sent12: there exists something such that if it is a kind of a trochee that it is a sawmill and it is not a kind of a sheika does not hold.
sent1 -> hypothesis;
that the Kaiser does wrestle dun but it is not a kind of a molindone is not correct if it is lobular.
sent9 -> hypothesis;
$hypothesis$ = there is something such that if it wrestles dun then that it is a joy and it does not broker does not hold. ; $context$ = sent1: if the lenticel does wrestle dun then that it is a joy and it does not broker is false. sent2: if something grumbles guarantee that it does broker and it does not gluttonize is not true. sent3: that the chrome does broker but it is not a kind of a refill does not hold if it is amnestic. sent4: there is something such that if it does wrestle dun the fact that it is a joy that brokers is not right. sent5: the lenticel is a joy but it does not broker if it wrestles dun. sent6: the fact that something does grumble she-oak and does not divert is not true if it is a kind of a dessiatine. sent7: if the lenticel does wrestle dun that it is a joy and brokers is not right. sent8: there exists something such that if it is a laboriousness then the fact that it is both not non-foolish and not a primary is not correct. sent9: that something does wrestle dun but it is not a kind of a molindone is false if it is lobular. sent10: the lenticel grumbles guarantee but it is not a space if it is Jain. sent11: there is something such that if that it wrestles dun is not false then it is a kind of a joy and it does not broker. sent12: there exists something such that if it is a kind of a trochee that it is a sawmill and it is not a kind of a sheika does not hold. ; $proof$ = 
sent1 -> hypothesis; __PROVED__