the witloof is a Ninkhursag.
sent1: if the ex-boyfriend is a Ninkhursag but it does not Simonize incision then the witloof is not a Ninkhursag. sent2: if the ex-boyfriend is on-the-job and/or it Simonizes incision then it is not a kind of a one-eighth. sent3: the fact that the witloof is a thrown is not wrong if the whaler is a thuggee. sent4: if something does lunch itineration it is a thuggee. sent5: the fact that something is a Ninkhursag is not false if it throws. sent6: if the ex-boyfriend does not Simonize incision then the physa does Simonize incision but it is not unmanly. sent7: the physa does Simonize incision. sent8: the whaler does lunch itineration if the physa Simonizes incision and is not unmanly.
void -> assump1: Let's assume that the ex-boyfriend Simonizes incision.; assump1 -> int1: either the ex-boyfriend is on-the-job or it does Simonize incision or both.; int1 & sent2 -> int2: the ex-boyfriend is not a one-eighth.; sent4 -> int3: if the whaler does lunch itineration then it is a kind of a thuggee.; sent5 -> int4: the witloof is a kind of a Ninkhursag if it throws.;
that the witloof is not a Ninkhursag hold.
$hypothesis$ = the witloof is a Ninkhursag. ; $context$ = sent1: if the ex-boyfriend is a Ninkhursag but it does not Simonize incision then the witloof is not a Ninkhursag. sent2: if the ex-boyfriend is on-the-job and/or it Simonizes incision then it is not a kind of a one-eighth. sent3: the fact that the witloof is a thrown is not wrong if the whaler is a thuggee. sent4: if something does lunch itineration it is a thuggee. sent5: the fact that something is a Ninkhursag is not false if it throws. sent6: if the ex-boyfriend does not Simonize incision then the physa does Simonize incision but it is not unmanly. sent7: the physa does Simonize incision. sent8: the whaler does lunch itineration if the physa Simonizes incision and is not unmanly. ; $proof$ = 
void -> assump1: Let's assume that the ex-boyfriend Simonizes incision.; assump1 -> int1: either the ex-boyfriend is on-the-job or it does Simonize incision or both.; int1 & sent2 -> int2: the ex-boyfriend is not a one-eighth.; sent4 -> int3: if the whaler does lunch itineration then it is a kind of a thuggee.; sent5 -> int4: the witloof is a kind of a Ninkhursag if it throws.; __UNKNOWN__