the screen is dumpy.
sent1: something is a nucleoplasm if it intrudes demineralization. sent2: the popgun is a repeat if it germinates. sent3: the screen is not dumpy if it is a shipping that is not a roc. sent4: that if the screen ships and is the roc then the screen is non-dumpy hold. sent5: the barroom is a chimneystack. sent6: if the barroom is not a roc the screen is not non-psycholinguistic and it is a chimneystack. sent7: if there is something such that that it is a Herschel and it is a kind of a chit is wrong then the barroom does intrude demineralization. sent8: if the barroom is a kind of a chimneystack then the screen is psycholinguistic. sent9: if something is a shipping and it is homologous it is not a kind of a roc. sent10: if the screen is psycholinguistic it is not a roc. sent11: if something is psycholinguistic it is not a roc. sent12: that the knitter is a kind of a Herschel and it is a chit is not right. sent13: if the popgun does repeat then the endogeny does not hamper but it is homologous. sent14: if something is a chimneystack it is dumpy. sent15: if the popgun is not a Irenaeus but a stylopodium then that it germinates is right. sent16: the screen is not a kind of a roc. sent17: something is a shipping if it is a nucleoplasm. sent18: the barroom is homologous if the endogeny is not a kind of a hamper but it is homologous. sent19: something is a kind of a shipping and is not a kind of a roc if it is psycholinguistic.
sent8 & sent5 -> int1: the screen is psycholinguistic.; sent19 -> int2: the screen is a shipping but it is not a kind of a roc if it is psycholinguistic.; int1 & int2 -> int3: the screen is a kind of a shipping but it is not a roc.; int3 & sent3 -> hypothesis;
the screen is dumpy.
sent9 -> int4: the barroom is not a roc if it ships and is homologous.; sent17 -> int5: if the barroom is a nucleoplasm it is a shipping.; sent1 -> int6: if the barroom does intrude demineralization it is a nucleoplasm.; sent12 -> int7: there exists something such that that it is a Herschel and it is a kind of a chit is false.; int7 & sent7 -> int8: the barroom does intrude demineralization.; int6 & int8 -> int9: the barroom is a nucleoplasm.; int5 & int9 -> int10: the barroom does ship.;
$hypothesis$ = the screen is dumpy. ; $context$ = sent1: something is a nucleoplasm if it intrudes demineralization. sent2: the popgun is a repeat if it germinates. sent3: the screen is not dumpy if it is a shipping that is not a roc. sent4: that if the screen ships and is the roc then the screen is non-dumpy hold. sent5: the barroom is a chimneystack. sent6: if the barroom is not a roc the screen is not non-psycholinguistic and it is a chimneystack. sent7: if there is something such that that it is a Herschel and it is a kind of a chit is wrong then the barroom does intrude demineralization. sent8: if the barroom is a kind of a chimneystack then the screen is psycholinguistic. sent9: if something is a shipping and it is homologous it is not a kind of a roc. sent10: if the screen is psycholinguistic it is not a roc. sent11: if something is psycholinguistic it is not a roc. sent12: that the knitter is a kind of a Herschel and it is a chit is not right. sent13: if the popgun does repeat then the endogeny does not hamper but it is homologous. sent14: if something is a chimneystack it is dumpy. sent15: if the popgun is not a Irenaeus but a stylopodium then that it germinates is right. sent16: the screen is not a kind of a roc. sent17: something is a shipping if it is a nucleoplasm. sent18: the barroom is homologous if the endogeny is not a kind of a hamper but it is homologous. sent19: something is a kind of a shipping and is not a kind of a roc if it is psycholinguistic. ; $proof$ = 
sent8 & sent5 -> int1: the screen is psycholinguistic.; sent19 -> int2: the screen is a shipping but it is not a kind of a roc if it is psycholinguistic.; int1 & int2 -> int3: the screen is a kind of a shipping but it is not a roc.; int3 & sent3 -> hypothesis; __DISPROVED__