there exists something such that if it is pronounceable it is a kind of a Windsor.
sent1: if the universe is not a kind of a gore but it is pronounceable then it is a kind of a Windsor. sent2: the universe is illicit. sent3: the urokinase is not licit.
void -> assump2: Let's assume that the universe gores.;
$hypothesis$ = there exists something such that if it is pronounceable it is a kind of a Windsor. ; $context$ = sent1: if the universe is not a kind of a gore but it is pronounceable then it is a kind of a Windsor. sent2: the universe is illicit. sent3: the urokinase is not licit. ; $proof$ = 
void -> assump2: Let's assume that the universe gores.; __UNKNOWN__