the demoniac is a Cocteau and it is a kind of a hawksbill.
sent1: there are sacral things. sent2: the salami does not fold Ilmen. sent3: if there exists something such that the fact that it does not prickle and it does fold eyesore is not correct then the saddle is earthly. sent4: if something is not sacral it is a kind of heedful thing that is not a hawksbill. sent5: the saddle is not a kind of a hawksbill and is non-asynchronous. sent6: the salami is sacral if the demoniac folds Ilmen. sent7: the demoniac is a hawksbill. sent8: the bestseller does not beep phalloplasty and beeps Secession. sent9: if the fact that the saddle is not non-earthly hold then the beechnut does not fold Ilmen or it is not sacral or both. sent10: the demoniac is a hawksbill if the salami is not a Cocteau. sent11: if the bestseller does not beep phalloplasty and beeps Secession it is a BSE. sent12: the demoniac is a Cocteau and it is a kind of a hawksbill if the salami is not a Cocteau. sent13: if the crocodilian is not tribal that the coop does not prickle but it does fold eyesore is false. sent14: if there is something such that it is a kind of a BSE or is polymorphemic or both then the crocodilian is not tribal. sent15: the salami does not fold Ilmen if there are non-sacral things. sent16: the chimneysweeper is not sacral. sent17: the salami does not fold Ilmen and is not a Cocteau if something is not sacral.
sent16 -> int1: something is not sacral.; int1 & sent17 -> int2: the salami does not fold Ilmen and it is not a kind of a Cocteau.; int2 -> int3: the salami is not a Cocteau.; sent12 & int3 -> hypothesis;
the fact that the demoniac is a kind of a Cocteau that is a hawksbill does not hold.
sent11 & sent8 -> int4: the bestseller is a BSE.; int4 -> int5: the bestseller is a BSE or it is polymorphemic or both.; int5 -> int6: that either something is a BSE or it is polymorphemic or both is true.; int6 & sent14 -> int7: the crocodilian is not tribal.; sent13 & int7 -> int8: that the coop does not prickle but it does fold eyesore does not hold.; int8 -> int9: there exists something such that the fact that it does not prickle and does fold eyesore is not correct.; int9 & sent3 -> int10: the saddle is earthly.; sent9 & int10 -> int11: the beechnut does not fold Ilmen and/or is not sacral.;
$hypothesis$ = the demoniac is a Cocteau and it is a kind of a hawksbill. ; $context$ = sent1: there are sacral things. sent2: the salami does not fold Ilmen. sent3: if there exists something such that the fact that it does not prickle and it does fold eyesore is not correct then the saddle is earthly. sent4: if something is not sacral it is a kind of heedful thing that is not a hawksbill. sent5: the saddle is not a kind of a hawksbill and is non-asynchronous. sent6: the salami is sacral if the demoniac folds Ilmen. sent7: the demoniac is a hawksbill. sent8: the bestseller does not beep phalloplasty and beeps Secession. sent9: if the fact that the saddle is not non-earthly hold then the beechnut does not fold Ilmen or it is not sacral or both. sent10: the demoniac is a hawksbill if the salami is not a Cocteau. sent11: if the bestseller does not beep phalloplasty and beeps Secession it is a BSE. sent12: the demoniac is a Cocteau and it is a kind of a hawksbill if the salami is not a Cocteau. sent13: if the crocodilian is not tribal that the coop does not prickle but it does fold eyesore is false. sent14: if there is something such that it is a kind of a BSE or is polymorphemic or both then the crocodilian is not tribal. sent15: the salami does not fold Ilmen if there are non-sacral things. sent16: the chimneysweeper is not sacral. sent17: the salami does not fold Ilmen and is not a Cocteau if something is not sacral. ; $proof$ = 
sent16 -> int1: something is not sacral.; int1 & sent17 -> int2: the salami does not fold Ilmen and it is not a kind of a Cocteau.; int2 -> int3: the salami is not a Cocteau.; sent12 & int3 -> hypothesis; __PROVED__