the flagellant is eudemonic.
sent1: there is nothing such that it is not non-navigational and is a kind of a septillion. sent2: if something does not shimmy the fact that it is a kind of a chanter and it is not a Rediffusion is incorrect. sent3: something is a Rediffusion if that it is not a kind of a chanter and it is not a horizontal is wrong. sent4: the fact that something is not a chanter and it is not a horizontal is false if it is not a Vespasian. sent5: if the tom is not eudemonic and it is not a kind of a Vespasian then the flagellant is eudemonic. sent6: if that the tom is both not non-two-piece and a antidiarrheal is wrong it does not shimmy. sent7: the surfer does shimmy if there is something such that the fact that it is an educator and is malodorous is incorrect. sent8: the flagellant is not horizontal. sent9: if the surfer is a Rediffusion that is a kind of a shimmy then it is not a kind of a two-piece. sent10: if there is something such that the fact that it is a kind of a pothead that is inelastic does not hold the surfer is a chanter. sent11: something is not nonretractile. sent12: the guerrilla does not turf booboisie if it is a patronage and it is eudemonic. sent13: the fact that the tom is not non-two-piece but a antidiarrheal is false if it is not papilliform. sent14: that the flagellant is eudemonic hold if the tom is not papilliform or it is not a antidiarrheal or both. sent15: something is not eudemonic and it is not a kind of a Vespasian if it is a horizontal. sent16: there is something such that the fact that it is an educator and it is malodorous is not true. sent17: if the fact that the surfer is navigational and a septillion is not right it is not a Vespasian.
sent1 -> int1: the fact that the surfer is navigational and it is a kind of a septillion does not hold.; int1 & sent17 -> int2: the surfer is not a kind of a Vespasian.; sent4 -> int3: the fact that the surfer is not a chanter and it is not a horizontal is not correct if it is not a Vespasian.; int2 & int3 -> int4: that the surfer is not a chanter and is not horizontal is incorrect.; sent3 -> int5: if that the surfer is not a chanter and not horizontal is not correct it is a kind of a Rediffusion.; int4 & int5 -> int6: the surfer is a Rediffusion.; sent16 & sent7 -> int7: the surfer is a shimmy.; int6 & int7 -> int8: the surfer is a kind of a Rediffusion and it does shimmy.; int8 & sent9 -> int9: the surfer is not two-piece.; int9 -> int10: something is not a two-piece.;
the flagellant is not eudemonic.
sent15 -> int11: the tom is non-eudemonic thing that is not a kind of a Vespasian if it is horizontal.; sent2 -> int12: if the tom is not a shimmy that it is a chanter and it is not a Rediffusion is not true.;
$hypothesis$ = the flagellant is eudemonic. ; $context$ = sent1: there is nothing such that it is not non-navigational and is a kind of a septillion. sent2: if something does not shimmy the fact that it is a kind of a chanter and it is not a Rediffusion is incorrect. sent3: something is a Rediffusion if that it is not a kind of a chanter and it is not a horizontal is wrong. sent4: the fact that something is not a chanter and it is not a horizontal is false if it is not a Vespasian. sent5: if the tom is not eudemonic and it is not a kind of a Vespasian then the flagellant is eudemonic. sent6: if that the tom is both not non-two-piece and a antidiarrheal is wrong it does not shimmy. sent7: the surfer does shimmy if there is something such that the fact that it is an educator and is malodorous is incorrect. sent8: the flagellant is not horizontal. sent9: if the surfer is a Rediffusion that is a kind of a shimmy then it is not a kind of a two-piece. sent10: if there is something such that the fact that it is a kind of a pothead that is inelastic does not hold the surfer is a chanter. sent11: something is not nonretractile. sent12: the guerrilla does not turf booboisie if it is a patronage and it is eudemonic. sent13: the fact that the tom is not non-two-piece but a antidiarrheal is false if it is not papilliform. sent14: that the flagellant is eudemonic hold if the tom is not papilliform or it is not a antidiarrheal or both. sent15: something is not eudemonic and it is not a kind of a Vespasian if it is a horizontal. sent16: there is something such that the fact that it is an educator and it is malodorous is not true. sent17: if the fact that the surfer is navigational and a septillion is not right it is not a Vespasian. ; $proof$ = 
sent1 -> int1: the fact that the surfer is navigational and it is a kind of a septillion does not hold.; int1 & sent17 -> int2: the surfer is not a kind of a Vespasian.; sent4 -> int3: the fact that the surfer is not a chanter and it is not a horizontal is not correct if it is not a Vespasian.; int2 & int3 -> int4: that the surfer is not a chanter and is not horizontal is incorrect.; sent3 -> int5: if that the surfer is not a chanter and not horizontal is not correct it is a kind of a Rediffusion.; int4 & int5 -> int6: the surfer is a Rediffusion.; sent16 & sent7 -> int7: the surfer is a shimmy.; int6 & int7 -> int8: the surfer is a kind of a Rediffusion and it does shimmy.; int8 & sent9 -> int9: the surfer is not two-piece.; int9 -> int10: something is not a two-piece.; __UNKNOWN__