the outdoorsman is both not prolate and not a Nuytsia if the lakeside is a kind of a junkie.
sent1: that the outdoorsman is non-bismuthic if that the lakeside is a kind of a junkie is correct is not false. sent2: if that the lakeside is prolate is right then that the outdoorsman is not a junkie is not incorrect.
void -> assump1: Let's assume that the lakeside is a junkie.; sent1 & assump1 -> int1: the outdoorsman is not bismuthic.;
$hypothesis$ = the outdoorsman is both not prolate and not a Nuytsia if the lakeside is a kind of a junkie. ; $context$ = sent1: that the outdoorsman is non-bismuthic if that the lakeside is a kind of a junkie is correct is not false. sent2: if that the lakeside is prolate is right then that the outdoorsman is not a junkie is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the lakeside is a junkie.; sent1 & assump1 -> int1: the outdoorsman is not bismuthic.; __UNKNOWN__