the spluttering necromancy and the tweedling corollary happens if the vagary does not occur.
sent1: the mercuricness occurs. sent2: the philately does not occur. sent3: the spluttering obscurantism happens and the spluttering necromancy happens if the vagary does not occur.
void -> assump1: Let's assume that the vagary does not occur.; sent3 & assump1 -> int1: both the spluttering obscurantism and the spluttering necromancy occurs.; int1 -> int2: the spluttering necromancy occurs.;
$hypothesis$ = the spluttering necromancy and the tweedling corollary happens if the vagary does not occur. ; $context$ = sent1: the mercuricness occurs. sent2: the philately does not occur. sent3: the spluttering obscurantism happens and the spluttering necromancy happens if the vagary does not occur. ; $proof$ = 
void -> assump1: Let's assume that the vagary does not occur.; sent3 & assump1 -> int1: both the spluttering obscurantism and the spluttering necromancy occurs.; int1 -> int2: the spluttering necromancy occurs.; __UNKNOWN__