「そのスクロールバーは環境保全対策でない」ということは成り立つ
fact1: 肉製品は混ぜ御飯である fact2: あの苦味物質は角ゴシック体である fact3: 「もしもそのＢ五判が富山城であるということはないとしたらあのハイブリッド型は富山城だ」ということは成り立つ fact4: 「その菜の花は富山城である」ということは確かである fact5: あの苦味物質は肉製品である fact6: もし仮に「あの民族国家は軽ーいということはないけど見極め難い」ということは事実と異なるならこの本節は見極め難い fact7: もしあの民族国家が肉製品であるならあの苦味物質は軽ーい fact8: 「あの○○様は肉製品だ」ということは成り立つ fact9: もし仮にあのハイブリッド型が富山城だが根拠付けないならばあのスクロールバーは環境保全対策であるということはない fact10: もし勤務期間は混ぜ御飯であるならば富山城でない fact11: 仮にあの苦味物質が肉製品だとすればそのＢ五判は肉製品である fact12: この地理的移動は肉製品である fact13: あの加入者期間は混ぜ御飯である fact14: もし仮にあの苦味物質は角ゴシック体であるならば日本書籍だ fact15: 仮にそのＢ五判が富山城でないとしたらあのハイブリッド型は富山城であるが根拠付けない fact16: そのＢ五判は月明だ fact17: もし仮にあの民族国家が軽ーいとするとそのＢ五判は角ゴシック体である fact18: もしあのハイブリッド型は混ぜ御飯だとすると「そのＢ五判は富山城だ」ということは確かである fact19: 仮にあの民族国家が環境保全対策だとすればあのスクロールバーは環境保全対策である fact20: あのフェアウェイは混ぜ御飯である fact21: あの民族国家は環境保全対策でない fact22: あの民族国家は軽ーい fact23: あのハイブリッド型は富山城だ fact24: 「角ゴシック体は勤務期間だ」ということは成り立つ
fact17 & fact22 -> int1: そのＢ五判は角ゴシック体である; fact24 -> int2: 仮にそのＢ五判が角ゴシック体だとしたらそれは勤務期間だ; int1 & int2 -> int3: そのＢ五判は勤務期間である; fact11 & fact5 -> int4: 「そのＢ五判は肉製品である」ということは事実だ; fact1 -> int5: 仮にそのＢ五判が肉製品なら混ぜ御飯である; int4 & int5 -> int6: そのＢ五判は混ぜ御飯だ; int3 & int6 -> int7: そのＢ五判が勤務期間だし混ぜ御飯だ; fact10 -> int8: 「そのＢ五判は勤務期間であるしおまけに混ぜ御飯だ」ということは本当だとしたら富山城でない; int7 & int8 -> int9: そのＢ五判は富山城でない; int9 & fact15 -> int10: あのハイブリッド型は富山城であるが根拠付けない; int10 & fact9 -> hypothesis;
「この本節は見極め難いし富山城である」ということは成り立つ
$facts$ = fact1: 肉製品は混ぜ御飯である fact2: あの苦味物質は角ゴシック体である fact3: 「もしもそのＢ五判が富山城であるということはないとしたらあのハイブリッド型は富山城だ」ということは成り立つ fact4: 「その菜の花は富山城である」ということは確かである fact5: あの苦味物質は肉製品である fact6: もし仮に「あの民族国家は軽ーいということはないけど見極め難い」ということは事実と異なるならこの本節は見極め難い fact7: もしあの民族国家が肉製品であるならあの苦味物質は軽ーい fact8: 「あの○○様は肉製品だ」ということは成り立つ fact9: もし仮にあのハイブリッド型が富山城だが根拠付けないならばあのスクロールバーは環境保全対策であるということはない fact10: もし勤務期間は混ぜ御飯であるならば富山城でない fact11: 仮にあの苦味物質が肉製品だとすればそのＢ五判は肉製品である fact12: この地理的移動は肉製品である fact13: あの加入者期間は混ぜ御飯である fact14: もし仮にあの苦味物質は角ゴシック体であるならば日本書籍だ fact15: 仮にそのＢ五判が富山城でないとしたらあのハイブリッド型は富山城であるが根拠付けない fact16: そのＢ五判は月明だ fact17: もし仮にあの民族国家が軽ーいとするとそのＢ五判は角ゴシック体である fact18: もしあのハイブリッド型は混ぜ御飯だとすると「そのＢ五判は富山城だ」ということは確かである fact19: 仮にあの民族国家が環境保全対策だとすればあのスクロールバーは環境保全対策である fact20: あのフェアウェイは混ぜ御飯である fact21: あの民族国家は環境保全対策でない fact22: あの民族国家は軽ーい fact23: あのハイブリッド型は富山城だ fact24: 「角ゴシック体は勤務期間だ」ということは成り立つ ; $hypothesis$ = 「そのスクロールバーは環境保全対策でない」ということは成り立つ ; $proof$ = 
fact17 & fact22 -> int1: そのＢ五判は角ゴシック体である; fact24 -> int2: 仮にそのＢ五判が角ゴシック体だとしたらそれは勤務期間だ; int1 & int2 -> int3: そのＢ五判は勤務期間である; fact11 & fact5 -> int4: 「そのＢ五判は肉製品である」ということは事実だ; fact1 -> int5: 仮にそのＢ五判が肉製品なら混ぜ御飯である; int4 & int5 -> int6: そのＢ五判は混ぜ御飯だ; int3 & int6 -> int7: そのＢ五判が勤務期間だし混ぜ御飯だ; fact10 -> int8: 「そのＢ五判は勤務期間であるしおまけに混ぜ御飯だ」ということは本当だとしたら富山城でない; int7 & int8 -> int9: そのＢ五判は富山城でない; int9 & fact15 -> int10: あのハイブリッド型は富山城であるが根拠付けない; int10 & fact9 -> hypothesis; __PROVED__
事実1: 肉製品は混ぜ御飯である
事実2: あの苦味物質は角ゴシック体である
事実3: 「もしもそのＢ五判が富山城であるということはないとしたらあのハイブリッド型は富山城だ」ということは成り立つ
事実4: 「その菜の花は富山城である」ということは確かである
事実5: あの苦味物質は肉製品である
事実6: もし仮に「あの民族国家は軽ーいということはないけど見極め難い」ということは事実と異なるならこの本節は見極め難い
事実7: もしあの民族国家が肉製品であるならあの苦味物質は軽ーい
事実8: 「あの○○様は肉製品だ」ということは成り立つ
事実9: もし仮にあのハイブリッド型が富山城だが根拠付けないならばあのスクロールバーは環境保全対策であるということはない
事実10: もし勤務期間は混ぜ御飯であるならば富山城でない
事実11: 仮にあの苦味物質が肉製品だとすればそのＢ五判は肉製品である
事実12: この地理的移動は肉製品である
事実13: あの加入者期間は混ぜ御飯である
事実14: もし仮にあの苦味物質は角ゴシック体であるならば日本書籍だ
事実15: 仮にそのＢ五判が富山城でないとしたらあのハイブリッド型は富山城であるが根拠付けない
事実16: そのＢ五判は月明だ
事実17: もし仮にあの民族国家が軽ーいとするとそのＢ五判は角ゴシック体である
事実18: もしあのハイブリッド型は混ぜ御飯だとすると「そのＢ五判は富山城だ」ということは確かである
事実19: 仮にあの民族国家が環境保全対策だとすればあのスクロールバーは環境保全対策である
事実20: あのフェアウェイは混ぜ御飯である
事実21: あの民族国家は環境保全対策でない
事実22: あの民族国家は軽ーい
事実23: あのハイブリッド型は富山城だ
事実24: 「角ゴシック体は勤務期間だ」ということは成り立つ

仮説: 「そのスクロールバーは環境保全対策でない」ということは成り立つ
1. 事実17と事実22から、推論1: "そのＢ五判は角ゴシック体である"が導かれる
2. 事実24から、推論2: "仮にそのＢ五判が角ゴシック体だとしたらそれは勤務期間だ"が導かれる
3. 推論1と推論2から、推論3: "そのＢ五判は勤務期間である"が導かれる
4. 事実11と事実5から、推論4: "「そのＢ五判は肉製品である」ということは事実だ"が導かれる
5. 事実1から、推論5: "仮にそのＢ五判が肉製品なら混ぜ御飯である"が導かれる
6. 推論4と推論5から、推論6: "そのＢ五判は混ぜ御飯だ"が導かれる
7. 推論3と推論6から、推論7: "そのＢ五判が勤務期間だし混ぜ御飯だ"が導かれる
8. 事実10から、推論8: "「そのＢ五判は勤務期間であるしおまけに混ぜ御飯だ」ということは本当だとしたら富山城でない"が導かれる
9. 推論7と推論8から、推論9: "そのＢ五判は富山城でない"が導かれる
10. 推論9と事実15から、推論10: "あのハイブリッド型は富山城であるが根拠付けない"が導かれる
11. 推論10と事実9から、仮説が導かれる

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