that the supplement is a kind of a Gorgonocephalus that does not churn one-sixty-fourth does not hold.
sent1: the citrus is both a counterpart and a dogtrot. sent2: the topmast is Augustan. sent3: the NOC is a kind of a Liszt if the fact that the buyer is not a kind of a nutmeg-yew but it is Augustan is wrong. sent4: the ash-key is a hardness but it is not ministerial. sent5: the ash-key does not churn one-sixty-fourth. sent6: the photocopy is ministerial. sent7: the brill is a hardness and does educate. sent8: the moonstone is voyeuristic if it is a Spinus. sent9: the fact that the citrus is a hardness is not false if the ash-key is a hardness but it is not ministerial. sent10: if the NOC is a Liszt the sporozoite is a Spinus. sent11: there exists something such that it is a hardness. sent12: the supplement is a Gorgonocephalus that does not churn one-sixty-fourth if the buyer is a Spinus. sent13: the loess does churn escadrille if something is not a nutmeg-yew but Augustan. sent14: if there is something such that it does churn escadrille that the supplement is a kind of a Gorgonocephalus but it does not churn one-sixty-fourth is false. sent15: the NOC is not lymphatic if it does churn escadrille and it is not a hardness. sent16: if the citrus is a hardness and is a kind of a counterpart then the sporozoite is not lymphatic. sent17: there is something such that it is a counterpart. sent18: the fact that the citrus is not a Gorgonocephalus but a dogtrot is wrong.
void -> assump1: Let's assume that the fact that the fact that the buyer is both not a nutmeg-yew and not non-Augustan is not incorrect does not hold.; sent3 & assump1 -> int1: the NOC is a Liszt.; int1 & sent10 -> int2: the fact that the sporozoite is a kind of a Spinus hold.; sent9 & sent4 -> int3: the citrus is a kind of a hardness.; sent1 -> int4: the citrus is a counterpart.; int3 & int4 -> int5: the citrus is a kind of a hardness that is a kind of a counterpart.; sent16 & int5 -> int6: the sporozoite is not lymphatic.;
the supplement is a Gorgonocephalus and does not churn one-sixty-fourth.
$hypothesis$ = that the supplement is a kind of a Gorgonocephalus that does not churn one-sixty-fourth does not hold. ; $context$ = sent1: the citrus is both a counterpart and a dogtrot. sent2: the topmast is Augustan. sent3: the NOC is a kind of a Liszt if the fact that the buyer is not a kind of a nutmeg-yew but it is Augustan is wrong. sent4: the ash-key is a hardness but it is not ministerial. sent5: the ash-key does not churn one-sixty-fourth. sent6: the photocopy is ministerial. sent7: the brill is a hardness and does educate. sent8: the moonstone is voyeuristic if it is a Spinus. sent9: the fact that the citrus is a hardness is not false if the ash-key is a hardness but it is not ministerial. sent10: if the NOC is a Liszt the sporozoite is a Spinus. sent11: there exists something such that it is a hardness. sent12: the supplement is a Gorgonocephalus that does not churn one-sixty-fourth if the buyer is a Spinus. sent13: the loess does churn escadrille if something is not a nutmeg-yew but Augustan. sent14: if there is something such that it does churn escadrille that the supplement is a kind of a Gorgonocephalus but it does not churn one-sixty-fourth is false. sent15: the NOC is not lymphatic if it does churn escadrille and it is not a hardness. sent16: if the citrus is a hardness and is a kind of a counterpart then the sporozoite is not lymphatic. sent17: there is something such that it is a counterpart. sent18: the fact that the citrus is not a Gorgonocephalus but a dogtrot is wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the fact that the buyer is both not a nutmeg-yew and not non-Augustan is not incorrect does not hold.; sent3 & assump1 -> int1: the NOC is a Liszt.; int1 & sent10 -> int2: the fact that the sporozoite is a kind of a Spinus hold.; sent9 & sent4 -> int3: the citrus is a kind of a hardness.; sent1 -> int4: the citrus is a counterpart.; int3 & int4 -> int5: the citrus is a kind of a hardness that is a kind of a counterpart.; sent16 & int5 -> int6: the sporozoite is not lymphatic.; __UNKNOWN__