the flagellum is both a story and a lumberjack.
sent1: the fact that the flagellum does not drowse Pelagianism but it is a story is wrong. sent2: the flagellum does equate. sent3: there exists nothing such that it does not devote and is not a kind of a Kui. sent4: the flagellum is not a governor. sent5: the handbow is a kind of a Lasiurus if it drowses Pelagianism. sent6: if there is something such that that it is not a dressed is correct that the flagellum is not monatomic hold. sent7: there is nothing that does not drowse Pelagianism and is a story. sent8: if something is not monatomic it is a lumberjack. sent9: something is bilious if that it does not snowmobile and it is not bilious is not correct. sent10: if there exists something such that the fact that it equates and it dresses is not correct the flagellum is non-monatomic. sent11: there exists nothing such that it does not drowse craze and is not a recitation. sent12: if the handbow is a kind of a Funk it drowses Pelagianism. sent13: something equates and dresses. sent14: if the fact that something does not drowse Pelagianism and it is not a kind of a story is not correct it is a story. sent15: everything is not a Odobenus. sent16: there is nothing that does not drowse Pelagianism and is not a kind of a story. sent17: that something does drowse Pelagianism but it is not a Funk is wrong if it is not a kind of a Odobenus. sent18: if the flagellum is a Funk the handbow is a Funk.
sent8 -> int1: the flagellum is a kind of a lumberjack if it is not monatomic.; sent14 -> int2: if that the flagellum does not drowse Pelagianism and is not a story is not true then it is a story.; sent16 -> int3: the fact that the flagellum does not drowse Pelagianism and is not a story is not correct.; int2 & int3 -> int4: the flagellum is a kind of a story.;
the handbow is a kind of a Lasiurus that does exist.
$hypothesis$ = the flagellum is both a story and a lumberjack. ; $context$ = sent1: the fact that the flagellum does not drowse Pelagianism but it is a story is wrong. sent2: the flagellum does equate. sent3: there exists nothing such that it does not devote and is not a kind of a Kui. sent4: the flagellum is not a governor. sent5: the handbow is a kind of a Lasiurus if it drowses Pelagianism. sent6: if there is something such that that it is not a dressed is correct that the flagellum is not monatomic hold. sent7: there is nothing that does not drowse Pelagianism and is a story. sent8: if something is not monatomic it is a lumberjack. sent9: something is bilious if that it does not snowmobile and it is not bilious is not correct. sent10: if there exists something such that the fact that it equates and it dresses is not correct the flagellum is non-monatomic. sent11: there exists nothing such that it does not drowse craze and is not a recitation. sent12: if the handbow is a kind of a Funk it drowses Pelagianism. sent13: something equates and dresses. sent14: if the fact that something does not drowse Pelagianism and it is not a kind of a story is not correct it is a story. sent15: everything is not a Odobenus. sent16: there is nothing that does not drowse Pelagianism and is not a kind of a story. sent17: that something does drowse Pelagianism but it is not a Funk is wrong if it is not a kind of a Odobenus. sent18: if the flagellum is a Funk the handbow is a Funk. ; $proof$ = 
sent8 -> int1: the flagellum is a kind of a lumberjack if it is not monatomic.; sent14 -> int2: if that the flagellum does not drowse Pelagianism and is not a story is not true then it is a story.; sent16 -> int3: the fact that the flagellum does not drowse Pelagianism and is not a story is not correct.; int2 & int3 -> int4: the flagellum is a kind of a story.; __UNKNOWN__