the sheath is not Bantoid.
sent1: if that the cigarfish is not hairless but it is grateful does not hold then it is not a Macedonian. sent2: if something is crude and it is genitourinary then the groin is not grateful. sent3: if something is a kind of a Umbrian that is not a kind of a cowled then it does not slide. sent4: if the groin is not grateful then that that the cigarfish is both not hairless and grateful is not right is correct. sent5: that the sail is genitourinary is not wrong. sent6: the mudder is a kind of a Umbrian but it is not a cowled if there exists something such that it is not a Macedonian. sent7: the sail is crude. sent8: if the mudder is not a Umbrian that the cigarfish is hairless but it is not a Macedonian is not right.
sent7 & sent5 -> int1: the sail is crude and genitourinary.; int1 -> int2: something is crude and it is genitourinary.; int2 & sent2 -> int3: the groin is not grateful.; int3 & sent4 -> int4: the fact that the cigarfish is a kind of hairy thing that is grateful is incorrect.; int4 & sent1 -> int5: the cigarfish is not a Macedonian.; int5 -> int6: there exists something such that it is non-Macedonian.; int6 & sent6 -> int7: the mudder is a Umbrian but it is not a cowled.; sent3 -> int8: the mudder does not slide if it is a Umbrian and is not a cowled.; int7 & int8 -> int9: the mudder is not a slide.;
the sheath is Bantoid.
$hypothesis$ = the sheath is not Bantoid. ; $context$ = sent1: if that the cigarfish is not hairless but it is grateful does not hold then it is not a Macedonian. sent2: if something is crude and it is genitourinary then the groin is not grateful. sent3: if something is a kind of a Umbrian that is not a kind of a cowled then it does not slide. sent4: if the groin is not grateful then that that the cigarfish is both not hairless and grateful is not right is correct. sent5: that the sail is genitourinary is not wrong. sent6: the mudder is a kind of a Umbrian but it is not a cowled if there exists something such that it is not a Macedonian. sent7: the sail is crude. sent8: if the mudder is not a Umbrian that the cigarfish is hairless but it is not a Macedonian is not right. ; $proof$ = 
sent7 & sent5 -> int1: the sail is crude and genitourinary.; int1 -> int2: something is crude and it is genitourinary.; int2 & sent2 -> int3: the groin is not grateful.; int3 & sent4 -> int4: the fact that the cigarfish is a kind of hairy thing that is grateful is incorrect.; int4 & sent1 -> int5: the cigarfish is not a Macedonian.; int5 -> int6: there exists something such that it is non-Macedonian.; int6 & sent6 -> int7: the mudder is a Umbrian but it is not a cowled.; sent3 -> int8: the mudder does not slide if it is a Umbrian and is not a cowled.; int7 & int8 -> int9: the mudder is not a slide.; __UNKNOWN__