the eyeshadow does not eat and it is not sclerotic.
sent1: if that the eyeshadow does not eat and it is not sclerotic is not correct the Macedonian is not autosomal.
void -> assump1: Let's assume that that the eyeshadow does not eat and it is not sclerotic is incorrect.; sent1 & assump1 -> int1: the Macedonian is not autosomal.;
$hypothesis$ = the eyeshadow does not eat and it is not sclerotic. ; $context$ = sent1: if that the eyeshadow does not eat and it is not sclerotic is not correct the Macedonian is not autosomal. ; $proof$ = 
void -> assump1: Let's assume that that the eyeshadow does not eat and it is not sclerotic is incorrect.; sent1 & assump1 -> int1: the Macedonian is not autosomal.; __UNKNOWN__