この金融恐慌は省庁制である
fact1: もし仮にその一メートル半が省庁制であるとしたらこの金融恐慌は表示文字数である fact2: その一メートル半が抗議するとしたらこの金融恐慌は言い辛いがしかし表示文字数だということはない fact3: この諸式高直は表示文字数だ fact4: その一メートル半は表示文字数である fact5: 仮に言い辛いものが表示文字数でないとすればそれは省庁制でない fact6: 仮にその一メートル半が表示文字数だとしたらこの金融恐慌は省庁制である fact7: もし仮になんらかの物がティ・アップするとしたらそれは抗議する fact8: 「行儀良いものはティ・アップする」ということは成り立つ
fact6 & fact4 -> hypothesis;
この金融恐慌は省庁制であるということはない
fact10 -> int1: もしもこの金融恐慌が言い辛いけれど表示文字数だということはないとするとそれは省庁制でない; fact11 -> int2: もしその一メートル半はティ・アップするとすると「抗議する」ということは成り立つ; fact12 -> int3: 仮に「その一メートル半は行儀良い」ということは真実であるなら「それはティ・アップする」ということは成り立つ;
$facts$ = fact1: もし仮にその一メートル半が省庁制であるとしたらこの金融恐慌は表示文字数である fact2: その一メートル半が抗議するとしたらこの金融恐慌は言い辛いがしかし表示文字数だということはない fact3: この諸式高直は表示文字数だ fact4: その一メートル半は表示文字数である fact5: 仮に言い辛いものが表示文字数でないとすればそれは省庁制でない fact6: 仮にその一メートル半が表示文字数だとしたらこの金融恐慌は省庁制である fact7: もし仮になんらかの物がティ・アップするとしたらそれは抗議する fact8: 「行儀良いものはティ・アップする」ということは成り立つ ; $hypothesis$ = この金融恐慌は省庁制である ; $proof$ = 
fact6 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にその一メートル半が省庁制であるとしたらこの金融恐慌は表示文字数である
事実2: その一メートル半が抗議するとしたらこの金融恐慌は言い辛いがしかし表示文字数だということはない
事実3: この諸式高直は表示文字数だ
事実4: その一メートル半は表示文字数である
事実5: 仮に言い辛いものが表示文字数でないとすればそれは省庁制でない
事実6: 仮にその一メートル半が表示文字数だとしたらこの金融恐慌は省庁制である
事実7: もし仮になんらかの物がティ・アップするとしたらそれは抗議する
事実8: 「行儀良いものはティ・アップする」ということは成り立つ

仮説: この金融恐慌は省庁制である
1. 事実6と事実4から、仮説が導かれる

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