the drainboard is archesporial.
sent1: either something is archesporial or it is not a ticktack or both if it denatures. sent2: the drainboard is inferior and is not demographic if the fact that it is not archesporial is right. sent3: there exists something such that it is a kind of an inferior. sent4: something denatures.
void -> assump1: Let's assume that the drainboard is not archesporial.; sent2 & assump1 -> int1: the drainboard is both inferior and non-demographic.;
the drainboard is not archesporial.
sent1 -> int2: if the fact that the flashboard does denature hold it is archesporial or it is not a kind of a ticktack or both.;
$hypothesis$ = the drainboard is archesporial. ; $context$ = sent1: either something is archesporial or it is not a ticktack or both if it denatures. sent2: the drainboard is inferior and is not demographic if the fact that it is not archesporial is right. sent3: there exists something such that it is a kind of an inferior. sent4: something denatures. ; $proof$ = 
void -> assump1: Let's assume that the drainboard is not archesporial.; sent2 & assump1 -> int1: the drainboard is both inferior and non-demographic.; __UNKNOWN__