the scavenger is not a Kumasi.
sent1: that the viola is cortical and it does stink clarence is wrong. sent2: the fact that the viola is a kind of non-cortical thing that stinks clarence is not right. sent3: the scavenger is a Kumasi if there exists something such that the fact that it is a kind of non-cortical thing that stinks clarence is false.
sent2 -> int1: there is something such that that it is not cortical and it stinks clarence is not correct.; int1 & sent3 -> hypothesis;
$hypothesis$ = the scavenger is not a Kumasi. ; $context$ = sent1: that the viola is cortical and it does stink clarence is wrong. sent2: the fact that the viola is a kind of non-cortical thing that stinks clarence is not right. sent3: the scavenger is a Kumasi if there exists something such that the fact that it is a kind of non-cortical thing that stinks clarence is false. ; $proof$ = 
sent2 -> int1: there is something such that that it is not cortical and it stinks clarence is not correct.; int1 & sent3 -> hypothesis; __DISPROVED__