that there is something such that if it is a twenty-two that it does not prophesy and is not a bluegrass is not correct is not right.
sent1: if the ceratopsian is a kind of a twenty-two then the fact that it does not prophesy and it is a bluegrass is not true. sent2: if the fact that the ceratopsian is a twenty-two is correct then that it does prophesy and it is not a bluegrass is not true. sent3: that the ceratopsian does not prophesy and it is not a bluegrass is false if it is a twenty-two.
sent3 -> hypothesis;
$hypothesis$ = that there is something such that if it is a twenty-two that it does not prophesy and is not a bluegrass is not correct is not right. ; $context$ = sent1: if the ceratopsian is a kind of a twenty-two then the fact that it does not prophesy and it is a bluegrass is not true. sent2: if the fact that the ceratopsian is a twenty-two is correct then that it does prophesy and it is not a bluegrass is not true. sent3: that the ceratopsian does not prophesy and it is not a bluegrass is false if it is a twenty-two. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__