the helpmate is not accipitrine.
sent1: if the osmium is bismuthic the covert is benzoic. sent2: the jean is a kind of a neurectomy and/or it is not anticyclonic. sent3: if the jean is not anticyclonic then the revolutionist is a neurectomy. sent4: the revolutionist is a neurectomy if the jean is a neurectomy. sent5: that that the covert is non-bismuthic does not hold hold if the osmium is benzoic. sent6: the helpmate is accipitrine if the covert denatures. sent7: that something is not benzoic and not non-bismuthic is not correct if that it does not denature hold. sent8: if the fact that something is not benzoic but it is bismuthic does not hold it is not accipitrine. sent9: the osmium is benzoic. sent10: if something is saponaceous and it is a Humvee then it does not denature. sent11: if the revolutionist does not turf selector then the fact that the covert is a kind of a greenbelt but it is not Hebridean is false. sent12: the revolutionist is not jurisprudential but it is punctual if it is a kind of a neurectomy. sent13: the covert turfs Nobelist. sent14: the crystal is not non-benzoic. sent15: something does denature if it is bismuthic. sent16: something does not turf selector if it is a kind of non-jurisprudential thing that is punctual. sent17: if there exists something such that that it is both a greenbelt and not Hebridean does not hold the osmium is a lepton. sent18: the osmium denatures.
sent5 & sent9 -> int1: the covert is bismuthic.; sent15 -> int2: if that the covert is bismuthic is right it does denature.; int1 & int2 -> int3: the fact that the covert denatures is correct.; int3 & sent6 -> hypothesis;
the helpmate is not accipitrine.
sent8 -> int4: if that that the fact that the helpmate is both not benzoic and bismuthic is right does not hold is not incorrect it is not accipitrine.; sent7 -> int5: if the helpmate does not denature then the fact that it is non-benzoic and it is bismuthic is wrong.; sent10 -> int6: if the helpmate is saponaceous and is a Humvee that it does not denature is true.; sent16 -> int7: the fact that the revolutionist does not turf selector is not incorrect if it is non-jurisprudential and it is punctual.; sent2 & sent4 & sent3 -> int8: the revolutionist is a neurectomy.; sent12 & int8 -> int9: the revolutionist is not jurisprudential but it is not unpunctual.; int7 & int9 -> int10: the revolutionist does not turf selector.; sent11 & int10 -> int11: that the covert is a kind of a greenbelt but it is non-Hebridean is wrong.; int11 -> int12: there is something such that the fact that it is a kind of a greenbelt and it is not Hebridean does not hold.; int12 & sent17 -> int13: the osmium is a kind of a lepton.; int13 -> int14: there exists something such that it is a kind of a lepton.;
$hypothesis$ = the helpmate is not accipitrine. ; $context$ = sent1: if the osmium is bismuthic the covert is benzoic. sent2: the jean is a kind of a neurectomy and/or it is not anticyclonic. sent3: if the jean is not anticyclonic then the revolutionist is a neurectomy. sent4: the revolutionist is a neurectomy if the jean is a neurectomy. sent5: that that the covert is non-bismuthic does not hold hold if the osmium is benzoic. sent6: the helpmate is accipitrine if the covert denatures. sent7: that something is not benzoic and not non-bismuthic is not correct if that it does not denature hold. sent8: if the fact that something is not benzoic but it is bismuthic does not hold it is not accipitrine. sent9: the osmium is benzoic. sent10: if something is saponaceous and it is a Humvee then it does not denature. sent11: if the revolutionist does not turf selector then the fact that the covert is a kind of a greenbelt but it is not Hebridean is false. sent12: the revolutionist is not jurisprudential but it is punctual if it is a kind of a neurectomy. sent13: the covert turfs Nobelist. sent14: the crystal is not non-benzoic. sent15: something does denature if it is bismuthic. sent16: something does not turf selector if it is a kind of non-jurisprudential thing that is punctual. sent17: if there exists something such that that it is both a greenbelt and not Hebridean does not hold the osmium is a lepton. sent18: the osmium denatures. ; $proof$ = 
sent5 & sent9 -> int1: the covert is bismuthic.; sent15 -> int2: if that the covert is bismuthic is right it does denature.; int1 & int2 -> int3: the fact that the covert denatures is correct.; int3 & sent6 -> hypothesis; __DISPROVED__