that the whip-scorpion reads downbeat hold.
sent1: something is a kind of a Malecite and it is Jain. sent2: the canvas does deafen Gould and is cortical. sent3: the canvas is a kind of a lidded if something is a Malecite and it is Jain. sent4: there exists something such that it is Jain. sent5: something is a lidded. sent6: the whip-scorpion does not read downbeat if there is something such that it does deafen Gould and is a lidded. sent7: the canvas is cortical.
sent1 & sent3 -> int1: the canvas is a lidded.; sent2 -> int2: that the canvas deafens Gould is not incorrect.; int1 & int2 -> int3: the canvas does deafen Gould and is a lidded.; int3 -> int4: there is something such that it does deafen Gould and is a kind of a lidded.; int4 & sent6 -> hypothesis;
$hypothesis$ = that the whip-scorpion reads downbeat hold. ; $context$ = sent1: something is a kind of a Malecite and it is Jain. sent2: the canvas does deafen Gould and is cortical. sent3: the canvas is a kind of a lidded if something is a Malecite and it is Jain. sent4: there exists something such that it is Jain. sent5: something is a lidded. sent6: the whip-scorpion does not read downbeat if there is something such that it does deafen Gould and is a lidded. sent7: the canvas is cortical. ; $proof$ = 
sent1 & sent3 -> int1: the canvas is a lidded.; sent2 -> int2: that the canvas deafens Gould is not incorrect.; int1 & int2 -> int3: the canvas does deafen Gould and is a lidded.; int3 -> int4: there is something such that it does deafen Gould and is a kind of a lidded.; int4 & sent6 -> hypothesis; __DISPROVED__