the aborticide is not a kind of a see and is a kind of a gleba.
sent1: the aborticide is not a see but it is a kind of a gleba if there are unfruitful things. sent2: the roundel is not a miniature.
void -> assump1: Let's assume that the fact that the gumwood is not unfruitful is correct.; sent2 -> int1: the roundel tastes bimester and/or it is not a miniature.;
$hypothesis$ = the aborticide is not a kind of a see and is a kind of a gleba. ; $context$ = sent1: the aborticide is not a see but it is a kind of a gleba if there are unfruitful things. sent2: the roundel is not a miniature. ; $proof$ = 
void -> assump1: Let's assume that the fact that the gumwood is not unfruitful is correct.; sent2 -> int1: the roundel tastes bimester and/or it is not a miniature.; __UNKNOWN__