that there exists something such that that it is both an emissary and a digest does not hold does not hold.
sent1: there exists something such that it is not paradigmatic. sent2: there exists something such that it resettles. sent3: the repulsion is not paradigmatic. sent4: if a non-paradigmatic thing is arsenical then the repulsion is not warmed. sent5: there is something such that it is an emissary and it is a digest. sent6: there exists something such that it is a kind of paradigmatic thing that is a kind of a arsenical. sent7: there is something such that it is not paradigmatic and it is a arsenical. sent8: there is something such that it is a arsenical. sent9: if something is not warmed then the fact that it is an emissary and does digest does not hold.
sent9 -> int1: that the repulsion is an emissary and it is a digest is wrong if that it is not warmed is not incorrect.; sent7 & sent4 -> int2: the repulsion does not warm.; int1 & int2 -> int3: that the repulsion is an emissary and it is a digest is not true.; int3 -> hypothesis;
$hypothesis$ = that there exists something such that that it is both an emissary and a digest does not hold does not hold. ; $context$ = sent1: there exists something such that it is not paradigmatic. sent2: there exists something such that it resettles. sent3: the repulsion is not paradigmatic. sent4: if a non-paradigmatic thing is arsenical then the repulsion is not warmed. sent5: there is something such that it is an emissary and it is a digest. sent6: there exists something such that it is a kind of paradigmatic thing that is a kind of a arsenical. sent7: there is something such that it is not paradigmatic and it is a arsenical. sent8: there is something such that it is a arsenical. sent9: if something is not warmed then the fact that it is an emissary and does digest does not hold. ; $proof$ = 
sent9 -> int1: that the repulsion is an emissary and it is a digest is wrong if that it is not warmed is not incorrect.; sent7 & sent4 -> int2: the repulsion does not warm.; int1 & int2 -> int3: that the repulsion is an emissary and it is a digest is not true.; int3 -> hypothesis; __DISPROVED__