that the throstle is not a kind of a tannery is not wrong.
sent1: if there is something such that it is not a repeat but Hitlerian then that the horseman is a oilstone hold. sent2: something is Hitlerian. sent3: something does not repeat but it is Hitlerian. sent4: the Johnny-jump-up is bibliopolic. sent5: if the epileptic bases the calculus is not non-allotropic. sent6: if the calculus is bibliopolic the balmoral is a adenoma. sent7: if something spaces cupflower but it is not a recorder then it is not a tannery. sent8: there exists something such that it repeats and is Hitlerian. sent9: the calculus is a kind of a oilstone. sent10: if the balmoral is a kind of a adenoma then the throstle is nosocomial. sent11: if the throstle is nosocomial it does space cupflower. sent12: if the throstle is nosocomial it does space cupflower and is not a recorder. sent13: the epileptic bases if the horseman is a oilstone. sent14: if something is a kind of a oilstone it is a tannery. sent15: the throstle spaces cupflower. sent16: the throstle does not space cupflower if it is a tannery but not a oilstone. sent17: the balmoral is a kind of a adenoma if it is a oilstone.
sent3 & sent1 -> int1: the horseman is a oilstone.; int1 & sent13 -> int2: the epileptic does base.; int2 & sent5 -> int3: the calculus is allotropic.; sent7 -> int4: the throstle is not a tannery if it does space cupflower and is not a recorder.;
the throstle is a tannery.
sent14 -> int5: the throstle is a kind of a tannery if it is a oilstone.;
$hypothesis$ = that the throstle is not a kind of a tannery is not wrong. ; $context$ = sent1: if there is something such that it is not a repeat but Hitlerian then that the horseman is a oilstone hold. sent2: something is Hitlerian. sent3: something does not repeat but it is Hitlerian. sent4: the Johnny-jump-up is bibliopolic. sent5: if the epileptic bases the calculus is not non-allotropic. sent6: if the calculus is bibliopolic the balmoral is a adenoma. sent7: if something spaces cupflower but it is not a recorder then it is not a tannery. sent8: there exists something such that it repeats and is Hitlerian. sent9: the calculus is a kind of a oilstone. sent10: if the balmoral is a kind of a adenoma then the throstle is nosocomial. sent11: if the throstle is nosocomial it does space cupflower. sent12: if the throstle is nosocomial it does space cupflower and is not a recorder. sent13: the epileptic bases if the horseman is a oilstone. sent14: if something is a kind of a oilstone it is a tannery. sent15: the throstle spaces cupflower. sent16: the throstle does not space cupflower if it is a tannery but not a oilstone. sent17: the balmoral is a kind of a adenoma if it is a oilstone. ; $proof$ = 
sent3 & sent1 -> int1: the horseman is a oilstone.; int1 & sent13 -> int2: the epileptic does base.; int2 & sent5 -> int3: the calculus is allotropic.; sent7 -> int4: the throstle is not a tannery if it does space cupflower and is not a recorder.; __UNKNOWN__