something is a kind of a cardiomegaly but it does not crush.
sent1: either something debases or it is a sima or both if it is not a troll. sent2: the fact that the earldom is a substrate and is not juicy is not correct. sent3: the earldom is a cardiomegaly but it is not a kind of a crush if it does debase.
the hepatotoxin does crush.
sent1 -> int1: the hepatotoxin does debase and/or it is a sima if it is not a troll.; sent2 -> int2: there exists something such that that the fact that it is a substrate and it is not juicy is right is wrong.;
$hypothesis$ = something is a kind of a cardiomegaly but it does not crush. ; $context$ = sent1: either something debases or it is a sima or both if it is not a troll. sent2: the fact that the earldom is a substrate and is not juicy is not correct. sent3: the earldom is a cardiomegaly but it is not a kind of a crush if it does debase. ; $proof$ = 
__UNKNOWN__