the endocardium is sensorimotor if the mexiletine is not a culdoscope.
sent1: the endocardium is a culdoscope if the mexiletine is non-sensorimotor. sent2: the mexiletine does galumph. sent3: if there exists something such that it is a culdoscope the chalice galumphs. sent4: if the fact that the mexiletine is a culdoscope is not false the endocardium is sensorimotor. sent5: if the chalice galumphs then the endocardium is sensorimotor. sent6: there is something such that that it is not intertribal is not false.
void -> assump1: Let's assume that the mexiletine is not a culdoscope.; assump1 -> int1: something is not a culdoscope.;
$hypothesis$ = the endocardium is sensorimotor if the mexiletine is not a culdoscope. ; $context$ = sent1: the endocardium is a culdoscope if the mexiletine is non-sensorimotor. sent2: the mexiletine does galumph. sent3: if there exists something such that it is a culdoscope the chalice galumphs. sent4: if the fact that the mexiletine is a culdoscope is not false the endocardium is sensorimotor. sent5: if the chalice galumphs then the endocardium is sensorimotor. sent6: there is something such that that it is not intertribal is not false. ; $proof$ = 
void -> assump1: Let's assume that the mexiletine is not a culdoscope.; assump1 -> int1: something is not a culdoscope.; __UNKNOWN__