「もし仮にばあかであるということはないとしたら「利用し得る」ということは正しい」ものはある
fact1: 「「ばあかだ」ということは確かであるとすると利用し得る」物はある fact2: もし何らかのものが競売しないとすると高部解だ fact3: 仮になんらかのものが混成しないならそれは比類である fact4: もしあの満州全域はばあかでないなら利用し得る fact5: 仮にその大新聞はたどたどしくないとすると「それは書き残す」ということは事実だ fact6: もし「その残骸はばあかでない」ということは誤りでないとしたら商人らしい fact7: あの満州全域がばあかだとすれば聞き取る fact8: 「あの満州全域がばあかであるならあの満州全域は利用し得る」ということは確かだ
fact4 -> hypothesis;
fact4 -> hypothesis;
「もし混成するということはないなら比類である」物はある
fact9 -> int1: 仮にこの標準仕様は混成しないならば「比類である」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 「「ばあかだ」ということは確かであるとすると利用し得る」物はある fact2: もし何らかのものが競売しないとすると高部解だ fact3: 仮になんらかのものが混成しないならそれは比類である fact4: もしあの満州全域はばあかでないなら利用し得る fact5: 仮にその大新聞はたどたどしくないとすると「それは書き残す」ということは事実だ fact6: もし「その残骸はばあかでない」ということは誤りでないとしたら商人らしい fact7: あの満州全域がばあかだとすれば聞き取る fact8: 「あの満州全域がばあかであるならあの満州全域は利用し得る」ということは確かだ ; $hypothesis$ = 「もし仮にばあかであるということはないとしたら「利用し得る」ということは正しい」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「「ばあかだ」ということは確かであるとすると利用し得る」物はある
事実2: もし何らかのものが競売しないとすると高部解だ
事実3: 仮になんらかのものが混成しないならそれは比類である
事実4: もしあの満州全域はばあかでないなら利用し得る
事実5: 仮にその大新聞はたどたどしくないとすると「それは書き残す」ということは事実だ
事実6: もし「その残骸はばあかでない」ということは誤りでないとしたら商人らしい
事実7: あの満州全域がばあかだとすれば聞き取る
事実8: 「あの満州全域がばあかであるならあの満州全域は利用し得る」ということは確かだ

仮説: 「もし仮にばあかであるということはないとしたら「利用し得る」ということは正しい」ものはある
1. 事実4から、仮説が導かれる

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