この共通規格は施設する
fact1: この仮陸揚げ貨物はぱくぱくする fact2: この共通規格は奨励しない fact3: もしこの黙秘が奉斎しないならこの共通規格は奉斎する fact4: 仮にこの再認識事業が奇麗過ぎればそれは買い受けだ fact5: もしもこの仮陸揚げ貨物が生臭いとしたらこの黙秘は生臭くない fact6: 何かはぱくぱくしないけどジェントリフィケーションならミセス・バントリーだ fact7: もし仮にこの共通規格がミセス・バントリーでないとしたらこの仮陸揚げ貨物は奉斎するしミセス・バントリーである fact8: 仮にこの成人男性は補償額であるとしたら「この黙秘は生臭いが奉斎しない」ということは成り立たない fact9: もしなにがしかのものが補償額でないならばこの仮陸揚げ貨物はミセス・バントリーである fact10: なんらかのものはミセス・バントリーでないとすると「ジェントリフィケーションであるしまたぱくぱくする」ということは成り立たない fact11: 仮にこの黙秘が奉斎するということはないとするとこの共通規格は施設するしそれは奉斎する fact12: この共通規格は奉斎する fact13: この仮陸揚げ貨物はラードだ fact14: もしとある物はジェントリフィケーションでない一方でミセス・バントリーだとすれば生臭い fact15: 「補償額でない」ものはある fact16: 仮にこの再認識事業が買い受けであるとしたらこの成人男性は補償額だ fact17: この黙秘は生臭くない fact18: 「補償額である」物はある fact19: もし「この仮陸揚げ貨物は生臭い」ということは正しいとするとこの黙秘は奉斎しないし生臭くない fact20: もし仮にこの黙秘がぱくぱくするということはない一方で奉斎すれば生臭い fact21: 仮にこの共通規格は奉斎しないがしかし生臭いならば施設する fact22: もし仮にこの仮陸揚げ貨物はぱくぱくするとしたら「それはジェントリフィケーションであるということはない」ということは成り立つ
fact22 & fact1 -> int1: この仮陸揚げ貨物はジェントリフィケーションでない; fact9 & fact15 -> int2: この仮陸揚げ貨物はミセス・バントリーである; int1 & int2 -> int3: この仮陸揚げ貨物はジェントリフィケーションでないけどそれはミセス・バントリーである; fact14 -> int4: もしこの仮陸揚げ貨物はジェントリフィケーションだということはないがミセス・バントリーだとすれば生臭い; int3 & int4 -> int5: この仮陸揚げ貨物は生臭い; int5 & fact19 -> int6: この黙秘は奉斎しなくておまけにそれは生臭くない; int6 -> int7: 「この黙秘は奉斎しない」ということは真実である; int7 & fact11 -> int8: この共通規格は施設するし加えて奉斎する; int8 -> hypothesis;
この共通規格は施設するということはない
fact24 -> int9: もしこの仮陸揚げ貨物はミセス・バントリーだということはないとしたら「それはジェントリフィケーションであるしぱくぱくする」ということは誤っている;
$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$ = 
fact22 & fact1 -> int1: この仮陸揚げ貨物はジェントリフィケーションでない; fact9 & fact15 -> int2: この仮陸揚げ貨物はミセス・バントリーである; int1 & int2 -> int3: この仮陸揚げ貨物はジェントリフィケーションでないけどそれはミセス・バントリーである; fact14 -> int4: もしこの仮陸揚げ貨物はジェントリフィケーションだということはないがミセス・バントリーだとすれば生臭い; int3 & int4 -> int5: この仮陸揚げ貨物は生臭い; int5 & fact19 -> int6: この黙秘は奉斎しなくておまけにそれは生臭くない; int6 -> int7: 「この黙秘は奉斎しない」ということは真実である; int7 & fact11 -> int8: この共通規格は施設するし加えて奉斎する; int8 -> 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. 事実22と事実1から、推論1: "この仮陸揚げ貨物はジェントリフィケーションでない"が導かれる
2. 事実9と事実15から、推論2: "この仮陸揚げ貨物はミセス・バントリーである"が導かれる
3. 推論1と推論2から、推論3: "この仮陸揚げ貨物はジェントリフィケーションでないけどそれはミセス・バントリーである"が導かれる
4. 事実14から、推論4: "もしこの仮陸揚げ貨物はジェントリフィケーションだということはないがミセス・バントリーだとすれば生臭い"が導かれる
5. 推論3と推論4から、推論5: "この仮陸揚げ貨物は生臭い"が導かれる
6. 推論5と事実19から、推論6: "この黙秘は奉斎しなくておまけにそれは生臭くない"が導かれる
7. 推論6から、推論7: "「この黙秘は奉斎しない」ということは真実である"が導かれる
8. 推論7と事実11から、推論8: "この共通規格は施設するし加えて奉斎する"が導かれる
9. 推論8から、仮説が導かれる

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