the claustrum does not quieten XXY.
sent1: the XXY is not perceptual and is pronounceable if something does madden. sent2: that the XXY is perceptual is not right if there exists something such that it maddens. sent3: if the fact that the claustrum quietens XXY but it is not a Tagore hold then the XXY is not perceptual. sent4: the XXY is not a kind of a Tagore. sent5: the claustrum is a kind of a Liberian that is not peaceful. sent6: the naphthalene is pronounceable. sent7: the XXY is non-perceptual. sent8: there is something such that it does madden.
sent8 & sent1 -> int1: the XXY is both non-perceptual and pronounceable.; int1 -> int2: the XXY is pronounceable.; int2 & sent4 -> int3: the XXY is pronounceable but it is not a Tagore.;
the claustrum quietens XXY.
sent6 -> int4: there exists something such that it is pronounceable.;
$hypothesis$ = the claustrum does not quieten XXY. ; $context$ = sent1: the XXY is not perceptual and is pronounceable if something does madden. sent2: that the XXY is perceptual is not right if there exists something such that it maddens. sent3: if the fact that the claustrum quietens XXY but it is not a Tagore hold then the XXY is not perceptual. sent4: the XXY is not a kind of a Tagore. sent5: the claustrum is a kind of a Liberian that is not peaceful. sent6: the naphthalene is pronounceable. sent7: the XXY is non-perceptual. sent8: there is something such that it does madden. ; $proof$ = 
sent8 & sent1 -> int1: the XXY is both non-perceptual and pronounceable.; int1 -> int2: the XXY is pronounceable.; int2 & sent4 -> int3: the XXY is pronounceable but it is not a Tagore.; __UNKNOWN__