there exists something such that if the fact that it is not a bind and it is not a logogram is not correct then it is not a malted.
sent1: if the lamb's-quarter is not a bind and is not a logogram then it is not a malted. sent2: the fact that if the fact that the lamb's-quarter is non-Markovian thing that is not Nauruan does not hold that the lamb's-quarter is not a malted is not false is right. sent3: there is something such that if it is a logogram it is not a kind of a malted. sent4: there is something such that if that it is not a bind and is not a logogram is correct then it is not a malted. sent5: there exists something such that if that it is not a XXX and it does not abjure Micah is wrong it is not unsociable. sent6: there exists something such that if the fact that it is not a bind and not a logogram is incorrect the fact that it is a malted is correct. sent7: the lamb's-quarter is not a kind of a malted if that it is both a bind and not a logogram is not right. sent8: if the lamb's-quarter is a kind of a logogram then it is not a kind of a malted. sent9: if that something does not mingle and is not a indisposition is not right then it is not a kind of a logogram. sent10: if that the lamb's-quarter is not a bind and it is not a logogram does not hold it is a malted. sent11: there exists something such that if that it is not a bind and it is a logogram does not hold then it is not a kind of a malted. sent12: there exists something such that if it is a kind of a bind then it does not malt. sent13: the lamb's-quarter is not a malted if the fact that it is both not a bind and not a logogram is incorrect. sent14: there is something such that if the fact that it is a bind and it is not a logogram is false it is not a malted. sent15: there exists something such that if that it is both not a sideboard and not staccato is not correct then it does not lull rabble.
sent13 -> hypothesis;
that the convenience is not a kind of a logogram is correct if the fact that it does not mingle and is not a indisposition does not hold.
sent9 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not a bind and it is not a logogram is not correct then it is not a malted. ; $context$ = sent1: if the lamb's-quarter is not a bind and is not a logogram then it is not a malted. sent2: the fact that if the fact that the lamb's-quarter is non-Markovian thing that is not Nauruan does not hold that the lamb's-quarter is not a malted is not false is right. sent3: there is something such that if it is a logogram it is not a kind of a malted. sent4: there is something such that if that it is not a bind and is not a logogram is correct then it is not a malted. sent5: there exists something such that if that it is not a XXX and it does not abjure Micah is wrong it is not unsociable. sent6: there exists something such that if the fact that it is not a bind and not a logogram is incorrect the fact that it is a malted is correct. sent7: the lamb's-quarter is not a kind of a malted if that it is both a bind and not a logogram is not right. sent8: if the lamb's-quarter is a kind of a logogram then it is not a kind of a malted. sent9: if that something does not mingle and is not a indisposition is not right then it is not a kind of a logogram. sent10: if that the lamb's-quarter is not a bind and it is not a logogram does not hold it is a malted. sent11: there exists something such that if that it is not a bind and it is a logogram does not hold then it is not a kind of a malted. sent12: there exists something such that if it is a kind of a bind then it does not malt. sent13: the lamb's-quarter is not a malted if the fact that it is both not a bind and not a logogram is incorrect. sent14: there is something such that if the fact that it is a bind and it is not a logogram is false it is not a malted. sent15: there exists something such that if that it is both not a sideboard and not staccato is not correct then it does not lull rabble. ; $proof$ = 
sent13 -> hypothesis; __PROVED__