the utilizer is not onomastics.
sent1: the fact that the utilizer does not react but it is a capillary does not hold if it is a Anne. sent2: the utilizer is nonlinear. sent3: the utilizer is non-dominant and is not a capillary if it is not non-onomastics. sent4: something that is not a dominant and not a capillary is not cellulosid. sent5: if the fact that something is not a kind of a gorgerin and is not cellulosid does not hold the fact that it is cellulosid hold.
void -> assump1: Let's assume that the utilizer is onomastics.; sent3 & assump1 -> int1: the utilizer is both not a dominant and non-capillary.; sent4 -> int2: if the utilizer is not dominant and it is not capillary then it is not cellulosid.; int1 & int2 -> int3: the utilizer is not cellulosid.; sent5 -> int4: if the fact that the utilizer is not a kind of a gorgerin and it is not cellulosid is false then it is cellulosid.;
$hypothesis$ = the utilizer is not onomastics. ; $context$ = sent1: the fact that the utilizer does not react but it is a capillary does not hold if it is a Anne. sent2: the utilizer is nonlinear. sent3: the utilizer is non-dominant and is not a capillary if it is not non-onomastics. sent4: something that is not a dominant and not a capillary is not cellulosid. sent5: if the fact that something is not a kind of a gorgerin and is not cellulosid does not hold the fact that it is cellulosid hold. ; $proof$ = 
void -> assump1: Let's assume that the utilizer is onomastics.; sent3 & assump1 -> int1: the utilizer is both not a dominant and non-capillary.; sent4 -> int2: if the utilizer is not dominant and it is not capillary then it is not cellulosid.; int1 & int2 -> int3: the utilizer is not cellulosid.; sent5 -> int4: if the fact that the utilizer is not a kind of a gorgerin and it is not cellulosid is false then it is cellulosid.; __UNKNOWN__