the indusium is not a worthy if the highbinder does trawl.
sent1: if something that contributes asclepiad is a kind of a OMB that it is not worthy is not wrong. sent2: something is worthy or it is a kind of a OMB or both if it does not contribute asclepiad. sent3: the indusium is a kind of a worthy if it does contribute asclepiad and is a OMB. sent4: if the indusium is not non-splenic it is a kind of a OMB. sent5: the perfluorocarbon is a kind of a trawl and it is genitourinary. sent6: if something that contributes asclepiad is a OMB then it is a worthy. sent7: the indusium is splenic. sent8: if a worthy thing is splenic then it is not a trawl. sent9: the highbinder is not opposable.
void -> assump1: Let's assume that the highbinder does trawl.; sent4 & sent7 -> int1: the indusium is a OMB.; sent1 -> int2: the indusium is not a kind of a worthy if it does contribute asclepiad and is a OMB.;
the perfluorocarbon is a kind of genitourinary thing that is a OMB.
sent5 -> int3: the perfluorocarbon is genitourinary.; sent2 -> int4: the highbinder is a worthy and/or a OMB if the fact that it does not contribute asclepiad is correct.;
$hypothesis$ = the indusium is not a worthy if the highbinder does trawl. ; $context$ = sent1: if something that contributes asclepiad is a kind of a OMB that it is not worthy is not wrong. sent2: something is worthy or it is a kind of a OMB or both if it does not contribute asclepiad. sent3: the indusium is a kind of a worthy if it does contribute asclepiad and is a OMB. sent4: if the indusium is not non-splenic it is a kind of a OMB. sent5: the perfluorocarbon is a kind of a trawl and it is genitourinary. sent6: if something that contributes asclepiad is a OMB then it is a worthy. sent7: the indusium is splenic. sent8: if a worthy thing is splenic then it is not a trawl. sent9: the highbinder is not opposable. ; $proof$ = 
void -> assump1: Let's assume that the highbinder does trawl.; sent4 & sent7 -> int1: the indusium is a OMB.; sent1 -> int2: the indusium is not a kind of a worthy if it does contribute asclepiad and is a OMB.; __UNKNOWN__