「もしも各衛星だとしたら判別式Ｄでないしさらに声明な」物はある
fact1: 各衛星は声明である fact2: もし仮になんらかの物が代用出来るならそれは照れ臭くないしそれは微笑ましい fact3: もしとあるものが各衛星ならばそれは判別式Ｄであるしおまけに声明だ fact4: 各衛星は判別式Ｄでないけど声明だ fact5: 「赤黒いならば「好ましい」ということは成り立つ」ものはある
fact4 -> int1: この鉄道建設は各衛星であるとしたらそれは判別式Ｄでないが声明だ; int1 -> hypothesis;
$facts$ = fact1: 各衛星は声明である fact2: もし仮になんらかの物が代用出来るならそれは照れ臭くないしそれは微笑ましい fact3: もしとあるものが各衛星ならばそれは判別式Ｄであるしおまけに声明だ fact4: 各衛星は判別式Ｄでないけど声明だ fact5: 「赤黒いならば「好ましい」ということは成り立つ」ものはある ; $hypothesis$ = 「もしも各衛星だとしたら判別式Ｄでないしさらに声明な」物はある ; $proof$ = 
fact4 -> int1: この鉄道建設は各衛星であるとしたらそれは判別式Ｄでないが声明だ; int1 -> hypothesis; __PROVED__
事実1: 各衛星は声明である
事実2: もし仮になんらかの物が代用出来るならそれは照れ臭くないしそれは微笑ましい
事実3: もしとあるものが各衛星ならばそれは判別式Ｄであるしおまけに声明だ
事実4: 各衛星は判別式Ｄでないけど声明だ
事実5: 「赤黒いならば「好ましい」ということは成り立つ」ものはある

仮説: 「もしも各衛星だとしたら判別式Ｄでないしさらに声明な」物はある
1. 事実4から、推論1: "この鉄道建設は各衛星であるとしたらそれは判別式Ｄでないが声明だ"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。