the fact that there exists something such that that it is a kind of antecubital thing that does overrefine Restoration is incorrect is wrong.
sent1: there is something such that it is a five-hitter. sent2: the fact that the Restoration is antecubital and does overrefine Restoration is not correct if there exists something such that it is a kind of a five-hitter.
sent1 & sent2 -> int1: the fact that the Restoration is antecubital and does overrefine Restoration is not correct.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that that it is a kind of antecubital thing that does overrefine Restoration is incorrect is wrong. ; $context$ = sent1: there is something such that it is a five-hitter. sent2: the fact that the Restoration is antecubital and does overrefine Restoration is not correct if there exists something such that it is a kind of a five-hitter. ; $proof$ = 
sent1 & sent2 -> int1: the fact that the Restoration is antecubital and does overrefine Restoration is not correct.; int1 -> hypothesis; __DISPROVED__