the splat does not laicize Oenanthe.
sent1: if something is not a kind of an exploration and does not laicize Oenanthe then it vacates cleistothecium. sent2: the lumper is a kind of a chafed that is not a kind of a trustee. sent3: the splat does laicize Oenanthe if something that is a chafed is not a trustee.
sent2 -> int1: something chafes but it is not a trustee.; int1 & sent3 -> hypothesis;
the death does vacate cleistothecium but it is not cerebellar.
sent1 -> int2: if the death is not a kind of an exploration and does not laicize Oenanthe it does vacate cleistothecium.;
$hypothesis$ = the splat does not laicize Oenanthe. ; $context$ = sent1: if something is not a kind of an exploration and does not laicize Oenanthe then it vacates cleistothecium. sent2: the lumper is a kind of a chafed that is not a kind of a trustee. sent3: the splat does laicize Oenanthe if something that is a chafed is not a trustee. ; $proof$ = 
sent2 -> int1: something chafes but it is not a trustee.; int1 & sent3 -> hypothesis; __DISPROVED__