there is something such that if it is both not reductionist and not a landed then it does not splat imperceptibility.
sent1: something does not splat imperceptibility if it is not reductionist and it is not a landed.
sent1 -> int1: if the audiovisual is non-reductionist thing that is not a kind of a landed then it does not splat imperceptibility.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is both not reductionist and not a landed then it does not splat imperceptibility. ; $context$ = sent1: something does not splat imperceptibility if it is not reductionist and it is not a landed. ; $proof$ = 
sent1 -> int1: if the audiovisual is non-reductionist thing that is not a kind of a landed then it does not splat imperceptibility.; int1 -> hypothesis; __PROVED__