there is something such that if the fact that it marbleizes and it is a Adams is false it is not perineal.
sent1: if that the washstand does marbleize and it is a Adams is not correct it is not perineal.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it marbleizes and it is a Adams is false it is not perineal. ; $context$ = sent1: if that the washstand does marbleize and it is a Adams is not correct it is not perineal. ; $proof$ = 
sent1 -> hypothesis; __PROVED__