the hawse is a Pus.
sent1: either something is not a kind of a Pus or it does not lecture gunrunner or both. sent2: the hillbilly lectures gunrunner if there exists something such that it does not jump. sent3: the ginseng is a perspective if the navel does palatalize tent-fly. sent4: the ginseng does not lecture bourgeoisie. sent5: if something that lectures gunrunner is not a entelechy it is an intermediate. sent6: that the scenarist is not a kind of an intermediate if that the hillbilly is a headstall and it is nonfissionable is wrong hold. sent7: the scenarist is nonfissionable and is not a perspective. sent8: The bourgeoisie does not lecture ginseng. sent9: the navel does palatalize tent-fly if the hillbilly is intermediate. sent10: the hawse is a Pus if something does not lecture bourgeoisie but it is a perspective. sent11: that the hillbilly lectures gunrunner if something either does not overwrite or is not a jumping or both is not false. sent12: the navel is a kind of a jumping. sent13: if something that palatalizes tent-fly is not nonfissionable then it is a kind of a entelechy. sent14: either something over-writes or it does not jump or both. sent15: something is not a knacker and/or it does palatalize linuron. sent16: the hillbilly is not a entelechy if that the scenarist is a kind of nonfissionable a headstall is not right. sent17: something is a kind of a perspective. sent18: the hillbilly is not a entelechy if the scenarist is not nonfissionable. sent19: the hawse is not a Pus if the scenarist is not a entelechy but it is a kind of a Pus. sent20: there exists something such that it does not overwrite and/or it does jump. sent21: either something is not non-hydrometric or it does not hound kilowatt or both. sent22: that the scenarist is nonfissionable and is a kind of a headstall is not right. sent23: there exists something such that it does not lecture bourgeoisie.
sent16 & sent22 -> int1: the hillbilly is not a kind of a entelechy.; sent5 -> int2: if the hillbilly lectures gunrunner but it is not a entelechy then it is intermediate.;
that the hawse is a Pus is not right.
$hypothesis$ = the hawse is a Pus. ; $context$ = sent1: either something is not a kind of a Pus or it does not lecture gunrunner or both. sent2: the hillbilly lectures gunrunner if there exists something such that it does not jump. sent3: the ginseng is a perspective if the navel does palatalize tent-fly. sent4: the ginseng does not lecture bourgeoisie. sent5: if something that lectures gunrunner is not a entelechy it is an intermediate. sent6: that the scenarist is not a kind of an intermediate if that the hillbilly is a headstall and it is nonfissionable is wrong hold. sent7: the scenarist is nonfissionable and is not a perspective. sent8: The bourgeoisie does not lecture ginseng. sent9: the navel does palatalize tent-fly if the hillbilly is intermediate. sent10: the hawse is a Pus if something does not lecture bourgeoisie but it is a perspective. sent11: that the hillbilly lectures gunrunner if something either does not overwrite or is not a jumping or both is not false. sent12: the navel is a kind of a jumping. sent13: if something that palatalizes tent-fly is not nonfissionable then it is a kind of a entelechy. sent14: either something over-writes or it does not jump or both. sent15: something is not a knacker and/or it does palatalize linuron. sent16: the hillbilly is not a entelechy if that the scenarist is a kind of nonfissionable a headstall is not right. sent17: something is a kind of a perspective. sent18: the hillbilly is not a entelechy if the scenarist is not nonfissionable. sent19: the hawse is not a Pus if the scenarist is not a entelechy but it is a kind of a Pus. sent20: there exists something such that it does not overwrite and/or it does jump. sent21: either something is not non-hydrometric or it does not hound kilowatt or both. sent22: that the scenarist is nonfissionable and is a kind of a headstall is not right. sent23: there exists something such that it does not lecture bourgeoisie. ; $proof$ = 
sent16 & sent22 -> int1: the hillbilly is not a kind of a entelechy.; sent5 -> int2: if the hillbilly lectures gunrunner but it is not a entelechy then it is intermediate.; __UNKNOWN__