something does not inhabit.
sent1: the moke is a kind of spectral thing that is soft. sent2: if that the moke is soft is correct then the cenobite is soft.
sent1 -> int1: the moke is soft.;
$hypothesis$ = something does not inhabit. ; $context$ = sent1: the moke is a kind of spectral thing that is soft. sent2: if that the moke is soft is correct then the cenobite is soft. ; $proof$ = 
sent1 -> int1: the moke is soft.; __UNKNOWN__