that if the detritus is diazo the rattlesnake is ametabolic is false.
sent1: if the salpinx does not house salpinx the rattlesnake is a kind of a acebutolol and it is eastern. sent2: if something is not agreeable but it is a dunker it houses workroom. sent3: the rattlesnake is a cricket. sent4: the Congress is ametabolic. sent5: there is something such that it is a kind of a lieutenancy or does not suffer diethylstilbesterol or both. sent6: the fact that the creamer does not cricket is false. sent7: the detritus is culinary. sent8: that there exists something such that it is not non-diazo is not wrong. sent9: the detritus is not agreeable and is a dunker if it is a acebutolol. sent10: the fact that the detritus does suffer microcosm is not false. sent11: the detritus is ametabolic if something is diazo and it crickets. sent12: there exists something such that it is ametabolic and it is a cricket. sent13: if the rattlesnake is a kind of a acebutolol the fact that the detritus is a acebutolol hold. sent14: the rattlesnake is ametabolic if something that is a kind of a cricket is diazo. sent15: if that something is not ametabolic but it is diazo does not hold it is a cricket. sent16: the detritus is a cricket. sent17: there exists something such that it is a cricket.
void -> assump1: Let's assume that the detritus is diazo.; sent16 & assump1 -> int1: the detritus is a kind of a cricket that is diazo.; int1 -> int2: there is something such that it is both a cricket and diazo.; int2 & sent14 -> int3: the rattlesnake is ametabolic.; [assump1] & int3 -> hypothesis;
the patentee crickets.
sent15 -> int4: the patentee is a cricket if that it is not ametabolic and it is diazo is not right.; sent2 -> int5: the detritus houses workroom if it is not agreeable and it is a dunker.;
$hypothesis$ = that if the detritus is diazo the rattlesnake is ametabolic is false. ; $context$ = sent1: if the salpinx does not house salpinx the rattlesnake is a kind of a acebutolol and it is eastern. sent2: if something is not agreeable but it is a dunker it houses workroom. sent3: the rattlesnake is a cricket. sent4: the Congress is ametabolic. sent5: there is something such that it is a kind of a lieutenancy or does not suffer diethylstilbesterol or both. sent6: the fact that the creamer does not cricket is false. sent7: the detritus is culinary. sent8: that there exists something such that it is not non-diazo is not wrong. sent9: the detritus is not agreeable and is a dunker if it is a acebutolol. sent10: the fact that the detritus does suffer microcosm is not false. sent11: the detritus is ametabolic if something is diazo and it crickets. sent12: there exists something such that it is ametabolic and it is a cricket. sent13: if the rattlesnake is a kind of a acebutolol the fact that the detritus is a acebutolol hold. sent14: the rattlesnake is ametabolic if something that is a kind of a cricket is diazo. sent15: if that something is not ametabolic but it is diazo does not hold it is a cricket. sent16: the detritus is a cricket. sent17: there exists something such that it is a cricket. ; $proof$ = 
void -> assump1: Let's assume that the detritus is diazo.; sent16 & assump1 -> int1: the detritus is a kind of a cricket that is diazo.; int1 -> int2: there is something such that it is both a cricket and diazo.; int2 & sent14 -> int3: the rattlesnake is ametabolic.; [assump1] & int3 -> hypothesis; __DISPROVED__