the nilgai is not Argive and not a Silverstein.
sent1: the caul is not Argive if the nilgai is a Silverstein. sent2: the nilgai does supple coeducation. sent3: if there exists something such that that it does swim teaspoon and is preventable is not true the counterglow does not supple coeducation. sent4: the caul does not swim paean. sent5: the caul does supple coeducation. sent6: the sportswriter is not a Argive if the caul is not a Silverstein and it does not supple coeducation. sent7: the counterglow is not a Silverstein. sent8: the fact that the caul swims teaspoon and is preventable does not hold if it is not a kind of a Silverstein. sent9: if the nilgai is a Argive then the caul is not a Silverstein and not Argive. sent10: the caul does not supple coeducation and it is not a kind of a Silverstein if the counterglow is a Silverstein. sent11: if the counterglow is a Silverstein then the caul does not supple coeducation. sent12: the nilgai is not homocercal. sent13: the fact that the nilgai is not a Silverstein if there exists something such that it does not supple coeducation is not false. sent14: The coeducation supples counterglow. sent15: the nilgai does not compress. sent16: that the nilgai is not a Argive and is not a Silverstein is right if the caul is a Silverstein. sent17: something is a kind of a Silverstein and it is Argive.
void -> assump1: Let's assume that the caul is not a Silverstein.; sent8 & assump1 -> int1: the fact that the caul swims teaspoon and is preventable does not hold.; int1 -> int2: there is something such that the fact that it does swim teaspoon and is not unpreventable does not hold.; int2 & sent3 -> int3: the counterglow does not supple coeducation.;
the sportswriter is not a Argive.
$hypothesis$ = the nilgai is not Argive and not a Silverstein. ; $context$ = sent1: the caul is not Argive if the nilgai is a Silverstein. sent2: the nilgai does supple coeducation. sent3: if there exists something such that that it does swim teaspoon and is preventable is not true the counterglow does not supple coeducation. sent4: the caul does not swim paean. sent5: the caul does supple coeducation. sent6: the sportswriter is not a Argive if the caul is not a Silverstein and it does not supple coeducation. sent7: the counterglow is not a Silverstein. sent8: the fact that the caul swims teaspoon and is preventable does not hold if it is not a kind of a Silverstein. sent9: if the nilgai is a Argive then the caul is not a Silverstein and not Argive. sent10: the caul does not supple coeducation and it is not a kind of a Silverstein if the counterglow is a Silverstein. sent11: if the counterglow is a Silverstein then the caul does not supple coeducation. sent12: the nilgai is not homocercal. sent13: the fact that the nilgai is not a Silverstein if there exists something such that it does not supple coeducation is not false. sent14: The coeducation supples counterglow. sent15: the nilgai does not compress. sent16: that the nilgai is not a Argive and is not a Silverstein is right if the caul is a Silverstein. sent17: something is a kind of a Silverstein and it is Argive. ; $proof$ = 
void -> assump1: Let's assume that the caul is not a Silverstein.; sent8 & assump1 -> int1: the fact that the caul swims teaspoon and is preventable does not hold.; int1 -> int2: there is something such that the fact that it does swim teaspoon and is not unpreventable does not hold.; int2 & sent3 -> int3: the counterglow does not supple coeducation.; __UNKNOWN__