the part-owner is veinal.
sent1: if the doorknob does not outshout Chartist then the treelet is not a remainder and it is not epiphyseal. sent2: the fluorescein is not salvific if the treelet is not a remainder and not epiphyseal. sent3: the Edwardian is not a ice-wagon and it is not a millibar if the doorknob outshouts Chartist. sent4: if the Edwardian is not a kind of a ice-wagon and is not a kind of a millibar then the part-owner does not network trudger. sent5: that the part-owner is not Zolaesque and/or it is not a Colossian is not correct if it does not network trudger. sent6: if the fact that the part-owner is not Zolaesque and/or is not a Colossian is incorrect then that it is veinal is not false. sent7: the part-owner is not a ice-wagon.
void -> assump1: Let's assume that the doorknob does not outshout Chartist.; sent1 & assump1 -> int1: the treelet is both not a remainder and not epiphyseal.; int1 & sent2 -> int2: the fluorescein is not salvific.;
$hypothesis$ = the part-owner is veinal. ; $context$ = sent1: if the doorknob does not outshout Chartist then the treelet is not a remainder and it is not epiphyseal. sent2: the fluorescein is not salvific if the treelet is not a remainder and not epiphyseal. sent3: the Edwardian is not a ice-wagon and it is not a millibar if the doorknob outshouts Chartist. sent4: if the Edwardian is not a kind of a ice-wagon and is not a kind of a millibar then the part-owner does not network trudger. sent5: that the part-owner is not Zolaesque and/or it is not a Colossian is not correct if it does not network trudger. sent6: if the fact that the part-owner is not Zolaesque and/or is not a Colossian is incorrect then that it is veinal is not false. sent7: the part-owner is not a ice-wagon. ; $proof$ = 
void -> assump1: Let's assume that the doorknob does not outshout Chartist.; sent1 & assump1 -> int1: the treelet is both not a remainder and not epiphyseal.; int1 & sent2 -> int2: the fluorescein is not salvific.; __UNKNOWN__