something is not a Hypsiglena.
sent1: if either the snowdrift does junketeer or it is not unseamanlike or both the melena does redirect scatology. sent2: the melena is rationalistic. sent3: the melena is either a Hypsiglena or rationalistic or both if it saltates. sent4: the abscission is intercellular and is floricultural. sent5: something is not rationalistic if it redirects scatology and it saltates. sent6: if the snowdrift is floricultural it does junketeer and/or it is not unseamanlike. sent7: if the intake is cretaceous then it is a cement and/or a shambles. sent8: if something is unseamanlike and it is rationalistic then it does not redirect scatology. sent9: the melena redirects scatology if the snowdrift junketeers. sent10: the snowdrift does saltate. sent11: if the snowdrift does redirect scatology the melena is unseamanlike. sent12: the snowdrift is floricultural if the intake is a kind of a Hypsiglena. sent13: there exists something such that it is a Hypsiglena.
void -> assump1: Let's assume that the intake is a Hypsiglena.; sent12 & assump1 -> int1: the snowdrift is floricultural.; int1 & sent6 -> int2: the snowdrift junketeers and/or it is not unseamanlike.; int2 & sent1 -> int3: the melena does redirect scatology.; sent5 -> int4: if the melena redirects scatology and it does saltate the fact that it is not rationalistic is true.;
$hypothesis$ = something is not a Hypsiglena. ; $context$ = sent1: if either the snowdrift does junketeer or it is not unseamanlike or both the melena does redirect scatology. sent2: the melena is rationalistic. sent3: the melena is either a Hypsiglena or rationalistic or both if it saltates. sent4: the abscission is intercellular and is floricultural. sent5: something is not rationalistic if it redirects scatology and it saltates. sent6: if the snowdrift is floricultural it does junketeer and/or it is not unseamanlike. sent7: if the intake is cretaceous then it is a cement and/or a shambles. sent8: if something is unseamanlike and it is rationalistic then it does not redirect scatology. sent9: the melena redirects scatology if the snowdrift junketeers. sent10: the snowdrift does saltate. sent11: if the snowdrift does redirect scatology the melena is unseamanlike. sent12: the snowdrift is floricultural if the intake is a kind of a Hypsiglena. sent13: there exists something such that it is a Hypsiglena. ; $proof$ = 
void -> assump1: Let's assume that the intake is a Hypsiglena.; sent12 & assump1 -> int1: the snowdrift is floricultural.; int1 & sent6 -> int2: the snowdrift junketeers and/or it is not unseamanlike.; int2 & sent1 -> int3: the melena does redirect scatology.; sent5 -> int4: if the melena redirects scatology and it does saltate the fact that it is not rationalistic is true.; __UNKNOWN__