the fact that the decipherer is anthracitic is not false.
sent1: the fact that the Jeroboam does not devoice decipherer but it is a kind of a huisache is not true if there exists something such that it is anthracitic. sent2: if there exists something such that it is not anabatic then the Jeroboam sequences. sent3: if the mayeng devoices boom the decipherer is anthracitic. sent4: if the fact that the begum is not a kind of a huisache and outsells jargon is not true then the mayeng does not unclothe. sent5: if something does not unclothe then it does devoice boom. sent6: the mayeng does not unclothe if the begum is a huisache. sent7: if the Jeroboam is a kind of a sequence it does unclothe. sent8: the fact that there exists something such that it is not anabatic hold. sent9: there is something such that it outsells Dali. sent10: if there is something such that it is anthracitic then that the begum is both a huisache and a sequence does not hold. sent11: if something is a sequence then it does devoice decipherer. sent12: if something devoices decipherer the fact that the begum is not a huisache but it does outsell jargon is not correct. sent13: if that something is not anabatic but it is anthracitic is incorrect then it is not anthracitic. sent14: if that the begum does not devoice decipherer is not wrong then that it is a huisache and a sequence is not right. sent15: the fact that the Jeroboam devoices decipherer and devoices servant is wrong. sent16: that the begum is a huisache that does outsell jargon is not correct. sent17: that the begum is a huisache and it does outsell jargon is not true if there exists something such that it does devoice decipherer. sent18: if something is a huisache then it is a sequence. sent19: there exists something such that it does not mold interlanguage.
sent8 & sent2 -> int1: the Jeroboam does sequence.; sent11 -> int2: the Jeroboam does devoice decipherer if it is a kind of a sequence.; int1 & int2 -> int3: the fact that the Jeroboam does devoice decipherer is correct.; int3 -> int4: there exists something such that it does devoice decipherer.; int4 & sent12 -> int5: that the begum is not a huisache but it does outsell jargon does not hold.; int5 & sent4 -> int6: the mayeng does not unclothe.; sent5 -> int7: if the mayeng does not unclothe it devoices boom.; int6 & int7 -> int8: the mayeng devoices boom.; int8 & sent3 -> hypothesis;
the decipherer is not anthracitic.
sent13 -> int9: if that the decipherer is non-anabatic and anthracitic is not correct then it is not anthracitic.;
$hypothesis$ = the fact that the decipherer is anthracitic is not false. ; $context$ = sent1: the fact that the Jeroboam does not devoice decipherer but it is a kind of a huisache is not true if there exists something such that it is anthracitic. sent2: if there exists something such that it is not anabatic then the Jeroboam sequences. sent3: if the mayeng devoices boom the decipherer is anthracitic. sent4: if the fact that the begum is not a kind of a huisache and outsells jargon is not true then the mayeng does not unclothe. sent5: if something does not unclothe then it does devoice boom. sent6: the mayeng does not unclothe if the begum is a huisache. sent7: if the Jeroboam is a kind of a sequence it does unclothe. sent8: the fact that there exists something such that it is not anabatic hold. sent9: there is something such that it outsells Dali. sent10: if there is something such that it is anthracitic then that the begum is both a huisache and a sequence does not hold. sent11: if something is a sequence then it does devoice decipherer. sent12: if something devoices decipherer the fact that the begum is not a huisache but it does outsell jargon is not correct. sent13: if that something is not anabatic but it is anthracitic is incorrect then it is not anthracitic. sent14: if that the begum does not devoice decipherer is not wrong then that it is a huisache and a sequence is not right. sent15: the fact that the Jeroboam devoices decipherer and devoices servant is wrong. sent16: that the begum is a huisache that does outsell jargon is not correct. sent17: that the begum is a huisache and it does outsell jargon is not true if there exists something such that it does devoice decipherer. sent18: if something is a huisache then it is a sequence. sent19: there exists something such that it does not mold interlanguage. ; $proof$ = 
sent8 & sent2 -> int1: the Jeroboam does sequence.; sent11 -> int2: the Jeroboam does devoice decipherer if it is a kind of a sequence.; int1 & int2 -> int3: the fact that the Jeroboam does devoice decipherer is correct.; int3 -> int4: there exists something such that it does devoice decipherer.; int4 & sent12 -> int5: that the begum is not a huisache but it does outsell jargon does not hold.; int5 & sent4 -> int6: the mayeng does not unclothe.; sent5 -> int7: if the mayeng does not unclothe it devoices boom.; int6 & int7 -> int8: the mayeng devoices boom.; int8 & sent3 -> hypothesis; __PROVED__