that there exists something such that if the fact that it is not a re-formation hold that it is not a veal and is not glabellar is not correct is false.
sent1: that the boneshaker is not a veal and it is not glabellar is wrong if it is not a kind of a re-formation. sent2: if the boneshaker is not a kind of a re-formation it is not a veal and not glabellar.
sent1 -> hypothesis;
$hypothesis$ = that there exists something such that if the fact that it is not a re-formation hold that it is not a veal and is not glabellar is not correct is false. ; $context$ = sent1: that the boneshaker is not a veal and it is not glabellar is wrong if it is not a kind of a re-formation. sent2: if the boneshaker is not a kind of a re-formation it is not a veal and not glabellar. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__