the crawlspace is not lobular.
sent1: that if the lead does radicalize the crawlspace is lobular is not wrong. sent2: if something is unconventional it radicalizes. sent3: if something is not interlobular then it is not lobular.
sent3 -> int1: if the crawlspace is not interlobular then the fact that it is not lobular is not incorrect.;
the crawlspace is lobular.
sent2 -> int2: the lead does radicalize if it is unconventional.;
$hypothesis$ = the crawlspace is not lobular. ; $context$ = sent1: that if the lead does radicalize the crawlspace is lobular is not wrong. sent2: if something is unconventional it radicalizes. sent3: if something is not interlobular then it is not lobular. ; $proof$ = 
sent3 -> int1: if the crawlspace is not interlobular then the fact that it is not lobular is not incorrect.; __UNKNOWN__