that there exists something such that if that it is a kind of a Bryan is right then it is ontological does not hold.
sent1: that the Lincoln is ontological if the Lincoln is a Bryan is right.
sent1 -> hypothesis;
$hypothesis$ = that there exists something such that if that it is a kind of a Bryan is right then it is ontological does not hold. ; $context$ = sent1: that the Lincoln is ontological if the Lincoln is a Bryan is right. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__