この血染めは否定表現であるということはない
fact1: もしもこの血染めが漂い続けるなら否定表現である fact2: この血染めは漂い続ける
$facts$ = fact1: もしもこの血染めが漂い続けるなら否定表現である fact2: この血染めは漂い続ける ; $hypothesis$ = この血染めは否定表現であるということはない ; $proof$ = 
事実1: もしもこの血染めが漂い続けるなら否定表現である
事実2: この血染めは漂い続ける

仮説: この血染めは否定表現であるということはない