if the mangrove finedraws Tatum the Tungusic is not a scupper but it is exothermic.
sent1: the Tungusic is not a kind of a scupper if there is something such that it does not finedraw Tatum and it is exothermic. sent2: the Tungusic is exothermic if the mangrove does finedraw Tatum. sent3: the Tungusic is exothermic. sent4: if the mangrove does finedraw Tatum then the Tungusic is a scupper and it is exothermic.
void -> assump2: Let's assume that the fact that the Tungusic is not a kind of a scupper but it is exothermic is wrong.; assump2 -> int1: there exists something such that that it is not a scupper and it is exothermic is not true.;
$hypothesis$ = if the mangrove finedraws Tatum the Tungusic is not a scupper but it is exothermic. ; $context$ = sent1: the Tungusic is not a kind of a scupper if there is something such that it does not finedraw Tatum and it is exothermic. sent2: the Tungusic is exothermic if the mangrove does finedraw Tatum. sent3: the Tungusic is exothermic. sent4: if the mangrove does finedraw Tatum then the Tungusic is a scupper and it is exothermic. ; $proof$ = 
void -> assump2: Let's assume that the fact that the Tungusic is not a kind of a scupper but it is exothermic is wrong.; assump2 -> int1: there exists something such that that it is not a scupper and it is exothermic is not true.; __UNKNOWN__