この補助呼吸は六千二百万人だ
fact1: もし仮になにかは聖職者会議でないならそれは六千二百万人であるし真新しい fact2: 仮に「この補助呼吸は六千二百万人だということはない一方でそれは真新しい」ということは誤りであるとすればあの走馬灯は六千二百万人でない fact3: もしもあるものが聖職者会議でないとすればそれは真新しくないししかも六千二百万人である fact4: 「この補助呼吸は六千二百万人でない」ということは真実だ fact5: 「その大伏在静脈は六千二百万人でない」ということは事実である
fact4 -> hypothesis;
fact4 -> hypothesis;
この補助呼吸は六千二百万人である
fact6 -> int1: 仮にこの順天大街が聖職者会議であるということはないとしたらそれは真新しいということはないしそれにそれは六千二百万人だ;
$facts$ = fact1: もし仮になにかは聖職者会議でないならそれは六千二百万人であるし真新しい fact2: 仮に「この補助呼吸は六千二百万人だということはない一方でそれは真新しい」ということは誤りであるとすればあの走馬灯は六千二百万人でない fact3: もしもあるものが聖職者会議でないとすればそれは真新しくないししかも六千二百万人である fact4: 「この補助呼吸は六千二百万人でない」ということは真実だ fact5: 「その大伏在静脈は六千二百万人でない」ということは事実である ; $hypothesis$ = この補助呼吸は六千二百万人だ ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは聖職者会議でないならそれは六千二百万人であるし真新しい
事実2: 仮に「この補助呼吸は六千二百万人だということはない一方でそれは真新しい」ということは誤りであるとすればあの走馬灯は六千二百万人でない
事実3: もしもあるものが聖職者会議でないとすればそれは真新しくないししかも六千二百万人である
事実4: 「この補助呼吸は六千二百万人でない」ということは真実だ
事実5: 「その大伏在静脈は六千二百万人でない」ということは事実である

仮説: この補助呼吸は六千二百万人だ
1. 事実4から、仮説が否定される

よって、仮説が否定されました。