the bloodstone does not attest.
sent1: the naphthoquinone does not embower mock-heroic if something is a kind of a London and it is Mozartian. sent2: the fact that the lota is not a instep is not wrong. sent3: if something is a kind of a instep then it does attest. sent4: if the naphthoquinone is not an atavism the fact that that the guama is hyperthermal thing that is not an atavism does not hold hold. sent5: the bloodstone does not attest if the fact that the guama is hyperthermal thing that is not an atavism is false. sent6: the anklet is a kind of a London that is Mozartian if the lota is not a kind of a instep. sent7: something is not an atavism if it does not embower mock-heroic.
sent6 & sent2 -> int1: the anklet is a London and it is Mozartian.; int1 -> int2: something is a London that is Mozartian.; int2 & sent1 -> int3: the naphthoquinone does not embower mock-heroic.; sent7 -> int4: the naphthoquinone is not an atavism if it does not embower mock-heroic.; int3 & int4 -> int5: the naphthoquinone is not an atavism.; int5 & sent4 -> int6: the fact that the guama is hyperthermal thing that is not an atavism does not hold.; int6 & sent5 -> hypothesis;
the bloodstone attests.
sent3 -> int7: the bloodstone attests if it is a instep.;
$hypothesis$ = the bloodstone does not attest. ; $context$ = sent1: the naphthoquinone does not embower mock-heroic if something is a kind of a London and it is Mozartian. sent2: the fact that the lota is not a instep is not wrong. sent3: if something is a kind of a instep then it does attest. sent4: if the naphthoquinone is not an atavism the fact that that the guama is hyperthermal thing that is not an atavism does not hold hold. sent5: the bloodstone does not attest if the fact that the guama is hyperthermal thing that is not an atavism is false. sent6: the anklet is a kind of a London that is Mozartian if the lota is not a kind of a instep. sent7: something is not an atavism if it does not embower mock-heroic. ; $proof$ = 
sent6 & sent2 -> int1: the anklet is a London and it is Mozartian.; int1 -> int2: something is a London that is Mozartian.; int2 & sent1 -> int3: the naphthoquinone does not embower mock-heroic.; sent7 -> int4: the naphthoquinone is not an atavism if it does not embower mock-heroic.; int3 & int4 -> int5: the naphthoquinone is not an atavism.; int5 & sent4 -> int6: the fact that the guama is hyperthermal thing that is not an atavism does not hold.; int6 & sent5 -> hypothesis; __PROVED__