the reactant is not a Ndebele.
sent1: if something uncorks horsewhip it is a Ndebele. sent2: the fact that the operculum is a kind of non-upland thing that is aquiferous is not right. sent3: that the operculum is not upland but it is aquiferous is not right if the dioon is not an astrologer. sent4: if the horsewhip is natal and not a plot the operculum does navigate. sent5: the shepherd does not uncork horsewhip if the reactant is a kind of a Ndebele. sent6: if that the shepherd is not a kind of a Lemuridae is correct then the horsewhip does not plot. sent7: the horsewhip is a kind of an immorality. sent8: the shepherd is natal. sent9: if that something is a plot but it is not natal is wrong it is a kind of a Lemuridae. sent10: either the shepherd is a kind of a Lemuridae or it does not uncork horsewhip or both. sent11: the horsewhip is not a plot if the shepherd is not a Lemuridae and/or it does not uncork horsewhip. sent12: the fact that the operculum is upland but it is not aquiferous is not true. sent13: the shepherd is not an astrologer. sent14: the dioon is not an astrologer but it is a cytotoxicity. sent15: the dioon is a cytotoxicity. sent16: if the fact that the operculum is not upland and it is not aquiferous is false it does not navigate. sent17: the fact that the operculum is both not upland and not aquiferous is wrong if the dioon is not an astrologer.
void -> assump1: Let's assume that the reactant is a Ndebele.; sent5 & assump1 -> int1: the fact that the shepherd does not uncork horsewhip is not wrong.; int1 -> int2: the shepherd is not a Lemuridae or does not uncork horsewhip or both.; int2 & sent11 -> int3: the horsewhip is not a plot.; sent14 -> int4: the dioon is not an astrologer.; sent17 & int4 -> int5: that the operculum is not upland and it is non-aquiferous is not correct.; sent16 & int5 -> int6: the operculum does not navigate.;
the reactant is a Ndebele.
sent1 -> int7: the reactant is a Ndebele if it does uncork horsewhip.; sent9 -> int8: if that the reactant does plot but it is non-natal does not hold then it is a Lemuridae.; sent8 -> int9: there is something such that it is natal.;
$hypothesis$ = the reactant is not a Ndebele. ; $context$ = sent1: if something uncorks horsewhip it is a Ndebele. sent2: the fact that the operculum is a kind of non-upland thing that is aquiferous is not right. sent3: that the operculum is not upland but it is aquiferous is not right if the dioon is not an astrologer. sent4: if the horsewhip is natal and not a plot the operculum does navigate. sent5: the shepherd does not uncork horsewhip if the reactant is a kind of a Ndebele. sent6: if that the shepherd is not a kind of a Lemuridae is correct then the horsewhip does not plot. sent7: the horsewhip is a kind of an immorality. sent8: the shepherd is natal. sent9: if that something is a plot but it is not natal is wrong it is a kind of a Lemuridae. sent10: either the shepherd is a kind of a Lemuridae or it does not uncork horsewhip or both. sent11: the horsewhip is not a plot if the shepherd is not a Lemuridae and/or it does not uncork horsewhip. sent12: the fact that the operculum is upland but it is not aquiferous is not true. sent13: the shepherd is not an astrologer. sent14: the dioon is not an astrologer but it is a cytotoxicity. sent15: the dioon is a cytotoxicity. sent16: if the fact that the operculum is not upland and it is not aquiferous is false it does not navigate. sent17: the fact that the operculum is both not upland and not aquiferous is wrong if the dioon is not an astrologer. ; $proof$ = 
void -> assump1: Let's assume that the reactant is a Ndebele.; sent5 & assump1 -> int1: the fact that the shepherd does not uncork horsewhip is not wrong.; int1 -> int2: the shepherd is not a Lemuridae or does not uncork horsewhip or both.; int2 & sent11 -> int3: the horsewhip is not a plot.; sent14 -> int4: the dioon is not an astrologer.; sent17 & int4 -> int5: that the operculum is not upland and it is non-aquiferous is not correct.; sent16 & int5 -> int6: the operculum does not navigate.; __UNKNOWN__