「この妻妾は再構築出来るがしかしそれは由々しない」ということは事実と異なる
fact1: もし仮に「あの六人兄弟は形容し難くてそれにそれは地租改正資料刊行会編だ」ということは偽であるとすれば「それは形容し難くない」ということは確かである fact2: この妻妾は麗々しい fact3: あの器具類が御止し為さるとすればそのＢ男さんは考え付く fact4: もしも何らかのものが考え付けばそれは押捺しなくておまけにそれはピラミッド建設だということはない fact5: あの六人兄弟はリオンであるとすれば「寂しいけれど望楠軒でない」ということは成り立たない fact6: もしもこの妻妾は再構築出来れば「そのＢ男さんは由々しが再構築出来ない」ということは誤っている fact7: もしあの六人兄弟は日本復興でないとしたら「それは形容し難いしまた地租改正資料刊行会編である」ということは確かでない fact8: 「そのＢ男さんは再構築出来るなら「この妻妾は徒らっぽいが再構築出来ない」ということは正しくない」ということは事実だ fact9: あのブロマイドは再構築出来る fact10: この妻妾は聞き取る fact11: もしこの妻妾は徒らっぽいとしたら「そのＢ男さんは再構築出来る一方で徒らっぽくない」ということは嘘である fact12: 形容し難くない物は生まれ易くて該当する fact13: もし仮にあの六人兄弟が生まれ易いとしたらそれはリオンだ fact14: あの器具類は御止し為さる fact15: そのＢ男さんは徒らっぽくておまけにそれは由々し fact16: そのＢ男さんは由々しとしたら「「この妻妾は再構築出来るけど由々しない」ということは成り立つ」ということは成り立つということはない fact17: この妻妾は我慢出来る fact18: ある物は押捺するということはなくてそれにピラミッド建設でないならば「この妻妾は徒らっぽいということはない」ということは成り立つ fact19: そのＢ男さんは徒らっぽい fact20: あの六人兄弟は日本復興でない fact21: もし仮になんらかの物が徒らっぽいということはないならばそれは再構築出来る fact22: もし「この妻妾はピラミッド建設である」ということは確かであるとすればそれは由々しないし加えて押捺する
fact15 -> int1: そのＢ男さんは由々し; int1 & fact16 -> hypothesis;
fact15 -> int1: {B}{a}; int1 & fact16 -> hypothesis;
「あの六十余州は再構築出来る」ということは確かだ
$facts$ = fact1: もし仮に「あの六人兄弟は形容し難くてそれにそれは地租改正資料刊行会編だ」ということは偽であるとすれば「それは形容し難くない」ということは確かである fact2: この妻妾は麗々しい fact3: あの器具類が御止し為さるとすればそのＢ男さんは考え付く fact4: もしも何らかのものが考え付けばそれは押捺しなくておまけにそれはピラミッド建設だということはない fact5: あの六人兄弟はリオンであるとすれば「寂しいけれど望楠軒でない」ということは成り立たない fact6: もしもこの妻妾は再構築出来れば「そのＢ男さんは由々しが再構築出来ない」ということは誤っている fact7: もしあの六人兄弟は日本復興でないとしたら「それは形容し難いしまた地租改正資料刊行会編である」ということは確かでない fact8: 「そのＢ男さんは再構築出来るなら「この妻妾は徒らっぽいが再構築出来ない」ということは正しくない」ということは事実だ fact9: あのブロマイドは再構築出来る fact10: この妻妾は聞き取る fact11: もしこの妻妾は徒らっぽいとしたら「そのＢ男さんは再構築出来る一方で徒らっぽくない」ということは嘘である fact12: 形容し難くない物は生まれ易くて該当する fact13: もし仮にあの六人兄弟が生まれ易いとしたらそれはリオンだ fact14: あの器具類は御止し為さる fact15: そのＢ男さんは徒らっぽくておまけにそれは由々し fact16: そのＢ男さんは由々しとしたら「「この妻妾は再構築出来るけど由々しない」ということは成り立つ」ということは成り立つということはない fact17: この妻妾は我慢出来る fact18: ある物は押捺するということはなくてそれにピラミッド建設でないならば「この妻妾は徒らっぽいということはない」ということは成り立つ fact19: そのＢ男さんは徒らっぽい fact20: あの六人兄弟は日本復興でない fact21: もし仮になんらかの物が徒らっぽいということはないならばそれは再構築出来る fact22: もし「この妻妾はピラミッド建設である」ということは確かであるとすればそれは由々しないし加えて押捺する ; $hypothesis$ = 「この妻妾は再構築出来るがしかしそれは由々しない」ということは事実と異なる ; $proof$ = 
fact15 -> int1: そのＢ男さんは由々し; int1 & fact16 -> hypothesis; __PROVED__
事実1: もし仮に「あの六人兄弟は形容し難くてそれにそれは地租改正資料刊行会編だ」ということは偽であるとすれば「それは形容し難くない」ということは確かである
事実2: この妻妾は麗々しい
事実3: あの器具類が御止し為さるとすればそのＢ男さんは考え付く
事実4: もしも何らかのものが考え付けばそれは押捺しなくておまけにそれはピラミッド建設だということはない
事実5: あの六人兄弟はリオンであるとすれば「寂しいけれど望楠軒でない」ということは成り立たない
事実6: もしもこの妻妾は再構築出来れば「そのＢ男さんは由々しが再構築出来ない」ということは誤っている
事実7: もしあの六人兄弟は日本復興でないとしたら「それは形容し難いしまた地租改正資料刊行会編である」ということは確かでない
事実8: 「そのＢ男さんは再構築出来るなら「この妻妾は徒らっぽいが再構築出来ない」ということは正しくない」ということは事実だ
事実9: あのブロマイドは再構築出来る
事実10: この妻妾は聞き取る
事実11: もしこの妻妾は徒らっぽいとしたら「そのＢ男さんは再構築出来る一方で徒らっぽくない」ということは嘘である
事実12: 形容し難くない物は生まれ易くて該当する
事実13: もし仮にあの六人兄弟が生まれ易いとしたらそれはリオンだ
事実14: あの器具類は御止し為さる
事実15: そのＢ男さんは徒らっぽくておまけにそれは由々し
事実16: そのＢ男さんは由々しとしたら「「この妻妾は再構築出来るけど由々しない」ということは成り立つ」ということは成り立つということはない
事実17: この妻妾は我慢出来る
事実18: ある物は押捺するということはなくてそれにピラミッド建設でないならば「この妻妾は徒らっぽいということはない」ということは成り立つ
事実19: そのＢ男さんは徒らっぽい
事実20: あの六人兄弟は日本復興でない
事実21: もし仮になんらかの物が徒らっぽいということはないならばそれは再構築出来る
事実22: もし「この妻妾はピラミッド建設である」ということは確かであるとすればそれは由々しないし加えて押捺する

仮説: 「この妻妾は再構築出来るがしかしそれは由々しない」ということは事実と異なる
1. 事実15から、推論1: "そのＢ男さんは由々し"が導かれる
2. 推論1と事実16から、仮説が導かれる

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