the fact that there exists something such that if it is categorical the fact that it is not a metabolism and it is not a concrete is false is false.
sent1: something is not a kind of a metabolism and it is not a concrete if it is categorical. sent2: there is something such that if it is a kind of a axiology the fact that it is not a kind of a SC and it is a kind of a sanicle is not correct. sent3: if something is categorical the fact that it is not a kind of a metabolism and it is not concrete is false.
sent3 -> int1: if the myocardium is categorical then that it is not a metabolism and it is not concrete is wrong.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is categorical the fact that it is not a metabolism and it is not a concrete is false is false. ; $context$ = sent1: something is not a kind of a metabolism and it is not a concrete if it is categorical. sent2: there is something such that if it is a kind of a axiology the fact that it is not a kind of a SC and it is a kind of a sanicle is not correct. sent3: if something is categorical the fact that it is not a kind of a metabolism and it is not concrete is false. ; $proof$ = 
sent3 -> int1: if the myocardium is categorical then that it is not a metabolism and it is not concrete is wrong.; int1 -> hypothesis; __DISPROVED__