the ironworks does not trundle brewpub or it is heraldic or both.
sent1: if something is a kind of a screening then that it is not anal is not true. sent2: the MP is credulous and is a screening. sent3: the chalk does not deposit Akeridae. sent4: if the chalk does not deposit Akeridae it is heraldic and it is culinary. sent5: if there exists something such that it is anal the fact that the ironworks does not trundle brewpub and/or is heraldic does not hold. sent6: something is a tonometry. sent7: the ironworks is not heraldic. sent8: if there exists something such that it is anal then the ironworks is not heraldic. sent9: the MP does trundle brewpub. sent10: the MP does deposit citronwood and it grouses. sent11: the fact that the MP measures end hold. sent12: the vicar-general deposits picornavirus. sent13: something that is credulous does trundle brewpub. sent14: the MP is heraldic if there exists something such that it is anal. sent15: there is something such that it is bituminoid. sent16: the MP is a screening if there exists something such that the fact that it is credulous is correct.
sent2 -> int1: the MP is a screening.; sent1 -> int2: the MP is anal if it does screen.; int1 & int2 -> int3: the MP is anal.; int3 -> int4: there is something such that it is anal.; int4 & sent5 -> hypothesis;
that the chalk trundles brewpub is correct.
sent13 -> int5: the fact that the fact that the chalk does trundle brewpub hold if the chalk is credulous hold.; sent4 & sent3 -> int6: the chalk is heraldic thing that is culinary.; int6 -> int7: the chalk is heraldic.;
$hypothesis$ = the ironworks does not trundle brewpub or it is heraldic or both. ; $context$ = sent1: if something is a kind of a screening then that it is not anal is not true. sent2: the MP is credulous and is a screening. sent3: the chalk does not deposit Akeridae. sent4: if the chalk does not deposit Akeridae it is heraldic and it is culinary. sent5: if there exists something such that it is anal the fact that the ironworks does not trundle brewpub and/or is heraldic does not hold. sent6: something is a tonometry. sent7: the ironworks is not heraldic. sent8: if there exists something such that it is anal then the ironworks is not heraldic. sent9: the MP does trundle brewpub. sent10: the MP does deposit citronwood and it grouses. sent11: the fact that the MP measures end hold. sent12: the vicar-general deposits picornavirus. sent13: something that is credulous does trundle brewpub. sent14: the MP is heraldic if there exists something such that it is anal. sent15: there is something such that it is bituminoid. sent16: the MP is a screening if there exists something such that the fact that it is credulous is correct. ; $proof$ = 
sent2 -> int1: the MP is a screening.; sent1 -> int2: the MP is anal if it does screen.; int1 & int2 -> int3: the MP is anal.; int3 -> int4: there is something such that it is anal.; int4 & sent5 -> hypothesis; __DISPROVED__