if the lindane does not consecrate then the formula does not tarnish whipstitch and mingles in-joke.
sent1: the lindane mingles mineral. sent2: the formula does not tarnish whipstitch and does mingle in-joke if the alluvium does mingle in-joke. sent3: the formula does not mingle in-joke and excludes trump. sent4: the lindane does not exclude trump but it does mingle mineral if it does not consecrate.
void -> assump1: Let's assume that that the lindane does not consecrate is not incorrect.; sent4 & assump1 -> int1: the lindane does not exclude trump and does mingle mineral.;
$hypothesis$ = if the lindane does not consecrate then the formula does not tarnish whipstitch and mingles in-joke. ; $context$ = sent1: the lindane mingles mineral. sent2: the formula does not tarnish whipstitch and does mingle in-joke if the alluvium does mingle in-joke. sent3: the formula does not mingle in-joke and excludes trump. sent4: the lindane does not exclude trump but it does mingle mineral if it does not consecrate. ; $proof$ = 
void -> assump1: Let's assume that that the lindane does not consecrate is not incorrect.; sent4 & assump1 -> int1: the lindane does not exclude trump and does mingle mineral.; __UNKNOWN__