the fact that there exists something such that if the fact that it does not pleach centrex is not incorrect it is not vagal is not correct.
sent1: the Kakemono is not lexicostatistic if it is psychoanalytical. sent2: if something is inboard then it is non-dictyopteran. sent3: something that does not pleach centrex is not vagal. sent4: the Kakemono does not pleach centrex if it is a kind of a mitochondrion. sent5: there is something such that if it pleaches tetrasaccharide then it is not a Messidor.
sent3 -> int1: the Kakemono is not vagal if it does not pleach centrex.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it does not pleach centrex is not incorrect it is not vagal is not correct. ; $context$ = sent1: the Kakemono is not lexicostatistic if it is psychoanalytical. sent2: if something is inboard then it is non-dictyopteran. sent3: something that does not pleach centrex is not vagal. sent4: the Kakemono does not pleach centrex if it is a kind of a mitochondrion. sent5: there is something such that if it pleaches tetrasaccharide then it is not a Messidor. ; $proof$ = 
sent3 -> int1: the Kakemono is not vagal if it does not pleach centrex.; int1 -> hypothesis; __DISPROVED__