that there exists something such that if it is not a Sabaoth then that it does not bifurcate and is not a goldenseal does not hold is not right.
sent1: if something is not a kind of a Sabaoth then the fact that it does not bifurcate and it is not a goldenseal does not hold.
sent1 -> int1: the fact that the libertine does not bifurcate and is not a kind of a goldenseal is incorrect if it is not a Sabaoth.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is not a Sabaoth then that it does not bifurcate and is not a goldenseal does not hold is not right. ; $context$ = sent1: if something is not a kind of a Sabaoth then the fact that it does not bifurcate and it is not a goldenseal does not hold. ; $proof$ = 
sent1 -> int1: the fact that the libertine does not bifurcate and is not a kind of a goldenseal is incorrect if it is not a Sabaoth.; int1 -> hypothesis; __DISPROVED__