that the dibranchiate is a weeder but it does not knot Lemuridae is incorrect.
sent1: if the wink is not a weeder then the fact that the dibranchiate knots Lemuridae but it is not a kind of a weeder is wrong. sent2: something knots Lemuridae and/or it is a weeder. sent3: if something farms sail but it is not a kind of a weeder then it does not knot Lemuridae. sent4: either something is a kind of a weeder or it does not knot Lemuridae or both. sent5: if the dibranchiate is not a weeder then that the wink knots Lemuridae and it is a weeder is incorrect. sent6: there exists something such that it is either hemispheric or not apocalyptic or both. sent7: that the wink knots Lemuridae and is not a weeder does not hold if the dibranchiate is not a weeder. sent8: the fact that the wink knots Lemuridae and is a kind of a weeder is wrong. sent9: if the dibranchiate does not knot Lemuridae that the wink is a kind of a weeder and does not knot Lemuridae does not hold. sent10: if there exists something such that it is hemispheric or it is not apocalyptic or both then the wink does not knot Lemuridae. sent11: the dibranchiate does not knot Lemuridae if there exists something such that it is not a weeder. sent12: there is something such that it is hemispheric and/or it is apocalyptic. sent13: that the wink is not a heptagon is not incorrect if something is ohmic and/or is not hemispheric. sent14: that the wink is a weeder but it does not knot Lemuridae is false. sent15: that the dibranchiate is a kind of a weeder and it does knot Lemuridae is not true if the fact that the wink does not knot Lemuridae is correct. sent16: that the fact that the wink is a weeder and it does knot Lemuridae is right does not hold if the dibranchiate does not knot Lemuridae. sent17: if the fact that something is pictorial or it is not hemispheric or both is correct then the dibranchiate is not ohmic. sent18: that the dibranchiate knots Lemuridae and is a weeder is wrong if the wink is not a kind of a weeder. sent19: that the wink is a kind of a weeder that knots Lemuridae is not right. sent20: the dibranchiate is not perineal. sent21: the dibranchiate is not hemispheric.
sent6 & sent10 -> int1: the wink does not knot Lemuridae.;
something is a coondog or not ineligible or both.
sent3 -> int2: the dibranchiate does not knot Lemuridae if it does farm sail and is not a weeder.;
$hypothesis$ = that the dibranchiate is a weeder but it does not knot Lemuridae is incorrect. ; $context$ = sent1: if the wink is not a weeder then the fact that the dibranchiate knots Lemuridae but it is not a kind of a weeder is wrong. sent2: something knots Lemuridae and/or it is a weeder. sent3: if something farms sail but it is not a kind of a weeder then it does not knot Lemuridae. sent4: either something is a kind of a weeder or it does not knot Lemuridae or both. sent5: if the dibranchiate is not a weeder then that the wink knots Lemuridae and it is a weeder is incorrect. sent6: there exists something such that it is either hemispheric or not apocalyptic or both. sent7: that the wink knots Lemuridae and is not a weeder does not hold if the dibranchiate is not a weeder. sent8: the fact that the wink knots Lemuridae and is a kind of a weeder is wrong. sent9: if the dibranchiate does not knot Lemuridae that the wink is a kind of a weeder and does not knot Lemuridae does not hold. sent10: if there exists something such that it is hemispheric or it is not apocalyptic or both then the wink does not knot Lemuridae. sent11: the dibranchiate does not knot Lemuridae if there exists something such that it is not a weeder. sent12: there is something such that it is hemispheric and/or it is apocalyptic. sent13: that the wink is not a heptagon is not incorrect if something is ohmic and/or is not hemispheric. sent14: that the wink is a weeder but it does not knot Lemuridae is false. sent15: that the dibranchiate is a kind of a weeder and it does knot Lemuridae is not true if the fact that the wink does not knot Lemuridae is correct. sent16: that the fact that the wink is a weeder and it does knot Lemuridae is right does not hold if the dibranchiate does not knot Lemuridae. sent17: if the fact that something is pictorial or it is not hemispheric or both is correct then the dibranchiate is not ohmic. sent18: that the dibranchiate knots Lemuridae and is a weeder is wrong if the wink is not a kind of a weeder. sent19: that the wink is a kind of a weeder that knots Lemuridae is not right. sent20: the dibranchiate is not perineal. sent21: the dibranchiate is not hemispheric. ; $proof$ = 
sent6 & sent10 -> int1: the wink does not knot Lemuridae.; __UNKNOWN__