the zooid is not inferior.
sent1: there is something such that it is an inferior. sent2: the fact that the everyman is not scalene and it is not corrigible is not right if there is something such that it is not Zimbabwean. sent3: the everyman is both not scalene and not corrigible. sent4: the baya is non-Zimbabwean if the selsyn is not non-expansionist and it is a pistil. sent5: if the fact that the zooid is not a pistil and is a somatotype is not right then it is not an inferior.
void -> assump1: Let's assume that the zooid is both not a pistil and a somatotype.; assump1 -> int1: the zooid is not a kind of a pistil.;
$hypothesis$ = the zooid is not inferior. ; $context$ = sent1: there is something such that it is an inferior. sent2: the fact that the everyman is not scalene and it is not corrigible is not right if there is something such that it is not Zimbabwean. sent3: the everyman is both not scalene and not corrigible. sent4: the baya is non-Zimbabwean if the selsyn is not non-expansionist and it is a pistil. sent5: if the fact that the zooid is not a pistil and is a somatotype is not right then it is not an inferior. ; $proof$ = 
void -> assump1: Let's assume that the zooid is both not a pistil and a somatotype.; assump1 -> int1: the zooid is not a kind of a pistil.; __UNKNOWN__