the hypocrite is heterodyne thing that does crave.
sent1: the fact that the hypocrite is a kind of a hyperacidity that is not a kind of a pedigree does not hold. sent2: the fact that something is a hyperacidity but it is non-neonatal is wrong if it is a rhizotomy. sent3: if the fact that the gurnard is not a kind of a rhizotomy is correct then that the hypocrite is not a pedigree and it is not a rhizotomy is not right. sent4: the gurnard does whoop if it is a kind of a pedigree. sent5: the cirque is not a hyperacidity if the gurnard is not a hyperacidity and not heterodyne. sent6: if the gurnard is not a pedigree then that the hypocrite is not a hyperacidity and is not a pedigree is incorrect. sent7: the fact that the hypocrite is not a rhizotomy but it does crave is incorrect. sent8: the gurnard is a rhizotomy if that it is not incompatible or not a hadrosaur or both is not true. sent9: the demineralization is rayless and it majors. sent10: if the gurnard is not a pedigree then that the hypocrite is not a major and not a pedigree does not hold. sent11: if that something is not a kind of a hyperacidity and is not a pedigree is not correct it is heterodyne. sent12: the hypocrite is not a pedigree if the fact that that the gurnard is a hyperacidity but it is not neonatal is incorrect is not incorrect. sent13: something heterodynes if it is a hyperacidity. sent14: that the gurnard is a iodoform is not false. sent15: that something is a kind of heterodyne thing that craves is false if it is not a pedigree. sent16: that the gurnard is not a major but a whoop is false. sent17: the gurnard is not a kind of a rhizotomy but it does whoop. sent18: if the gurnard is a pedigree it does not major and it is a kind of a whoop. sent19: the hipbone is a kind of non-diaphoretic thing that is a freesia. sent20: if the hypocrite is a kind of a hyperacidity then it is heterodyne. sent21: if the hypocrite is a kind of a hyperacidity it is not a whoop and craves. sent22: the gurnard whoops. sent23: that the fact that the hypocrite is a hyperacidity that is not a pedigree is not right if the gurnard is not a pedigree is correct. sent24: that the hypocrite is not a rhizotomy and it does not crave is not correct.
void -> assump1: Let's assume that the fact that the gurnard is a pedigree is right.; sent18 & assump1 -> int1: the gurnard is non-major thing that whoops.; int1 & sent16 -> int2: this is contradiction.; [assump1] & int2 -> int3: the gurnard is not a pedigree.; int3 & sent6 -> int4: that the fact that the hypocrite is not a hyperacidity and it is not a kind of a pedigree is incorrect hold.; sent11 -> int5: the hypocrite heterodynes if the fact that it is not a hyperacidity and it is not a pedigree is false.; int4 & int5 -> int6: the hypocrite does heterodyne.;
the fact that the hypocrite is heterodyne and craves is incorrect.
sent15 -> int7: if the hypocrite is not a pedigree the fact that it is heterodyne and it does crave is not true.; sent2 -> int8: if the gurnard is a rhizotomy the fact that it is both a hyperacidity and not neonatal is not correct.;
$hypothesis$ = the hypocrite is heterodyne thing that does crave. ; $context$ = sent1: the fact that the hypocrite is a kind of a hyperacidity that is not a kind of a pedigree does not hold. sent2: the fact that something is a hyperacidity but it is non-neonatal is wrong if it is a rhizotomy. sent3: if the fact that the gurnard is not a kind of a rhizotomy is correct then that the hypocrite is not a pedigree and it is not a rhizotomy is not right. sent4: the gurnard does whoop if it is a kind of a pedigree. sent5: the cirque is not a hyperacidity if the gurnard is not a hyperacidity and not heterodyne. sent6: if the gurnard is not a pedigree then that the hypocrite is not a hyperacidity and is not a pedigree is incorrect. sent7: the fact that the hypocrite is not a rhizotomy but it does crave is incorrect. sent8: the gurnard is a rhizotomy if that it is not incompatible or not a hadrosaur or both is not true. sent9: the demineralization is rayless and it majors. sent10: if the gurnard is not a pedigree then that the hypocrite is not a major and not a pedigree does not hold. sent11: if that something is not a kind of a hyperacidity and is not a pedigree is not correct it is heterodyne. sent12: the hypocrite is not a pedigree if the fact that that the gurnard is a hyperacidity but it is not neonatal is incorrect is not incorrect. sent13: something heterodynes if it is a hyperacidity. sent14: that the gurnard is a iodoform is not false. sent15: that something is a kind of heterodyne thing that craves is false if it is not a pedigree. sent16: that the gurnard is not a major but a whoop is false. sent17: the gurnard is not a kind of a rhizotomy but it does whoop. sent18: if the gurnard is a pedigree it does not major and it is a kind of a whoop. sent19: the hipbone is a kind of non-diaphoretic thing that is a freesia. sent20: if the hypocrite is a kind of a hyperacidity then it is heterodyne. sent21: if the hypocrite is a kind of a hyperacidity it is not a whoop and craves. sent22: the gurnard whoops. sent23: that the fact that the hypocrite is a hyperacidity that is not a pedigree is not right if the gurnard is not a pedigree is correct. sent24: that the hypocrite is not a rhizotomy and it does not crave is not correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the gurnard is a pedigree is right.; sent18 & assump1 -> int1: the gurnard is non-major thing that whoops.; int1 & sent16 -> int2: this is contradiction.; [assump1] & int2 -> int3: the gurnard is not a pedigree.; int3 & sent6 -> int4: that the fact that the hypocrite is not a hyperacidity and it is not a kind of a pedigree is incorrect hold.; sent11 -> int5: the hypocrite heterodynes if the fact that it is not a hyperacidity and it is not a pedigree is false.; int4 & int5 -> int6: the hypocrite does heterodyne.; __UNKNOWN__