あのページ数は食品である
fact1: この安全保障問題は男らしいしそれにＯＢ臭い fact2: もし仮にあの震災対策プロジェクトが通行税であるし悍ましいとすると「あのページ数は食品でない」ということは確かである fact3: あの震災対策プロジェクトはいじましくてブラックボックス化する fact4: もしその到着時間が吸引器でないならあの震災対策プロジェクトは守り切るし加えてそれは治り掛ける fact5: この修業時代はラウドネス推定値であるしその上ビット・パターンだ fact6: もしあの震災対策プロジェクトが治り掛けるとすればあのページ数は通行税である fact7: 味わい深くない物は悍ましいし薄っぺらい fact8: あのページ数が食品だし更に味わい深いとすればあの震災対策プロジェクトは薄っぺらくない fact9: あのページ数は治り掛けるし更に恨めしい fact10: あの震災対策プロジェクトはいじましい fact11: あの発電量は守り切るということはない fact12: あの震災対策プロジェクトは治り掛けるし加えてそれは守り切る fact13: もしも「とある物は吸引器でない一方で守り切る」ということは確かであるとすると通行税だ fact14: あのページ数はいじらしくないけど悍ましい fact15: 仮にあの震災対策プロジェクトがいじましくてそれがブラックボックス化するとするとそれは吸引器でない fact16: あの震災対策プロジェクトは崩れ易くない fact17: 仮にその到着時間が治り掛けるとするとあの震災対策プロジェクトは食品だ fact18: 「あの震災対策プロジェクトは味わい深くない」ということは事実だ fact19: 仮にあの震災対策プロジェクトが食品だとしたらあのページ数は食品だ
fact12 -> int1: 「あの震災対策プロジェクトは守り切る」ということは成り立つ; fact15 & fact3 -> int2: あの震災対策プロジェクトは吸引器でない; int1 & int2 -> int3: あの震災対策プロジェクトは吸引器でないがしかし守り切る; fact13 -> int4: もしあの震災対策プロジェクトが吸引器でない一方で守り切るとしたらそれは通行税である; int3 & int4 -> int5: あの震災対策プロジェクトは通行税だ; fact7 -> int6: あの震災対策プロジェクトが味わい深くないならそれは悍ましいししかも薄っぺらい; fact18 & int6 -> int7: あの震災対策プロジェクトは悍ましいしおまけに薄っぺらい; int7 -> int8: あの震災対策プロジェクトは悍ましい; int5 & int8 -> int9: あの震災対策プロジェクトは通行税だし悍ましい; int9 & fact2 -> hypothesis;
あのページ数は食品だ
$facts$ = fact1: この安全保障問題は男らしいしそれにＯＢ臭い fact2: もし仮にあの震災対策プロジェクトが通行税であるし悍ましいとすると「あのページ数は食品でない」ということは確かである fact3: あの震災対策プロジェクトはいじましくてブラックボックス化する fact4: もしその到着時間が吸引器でないならあの震災対策プロジェクトは守り切るし加えてそれは治り掛ける fact5: この修業時代はラウドネス推定値であるしその上ビット・パターンだ fact6: もしあの震災対策プロジェクトが治り掛けるとすればあのページ数は通行税である fact7: 味わい深くない物は悍ましいし薄っぺらい fact8: あのページ数が食品だし更に味わい深いとすればあの震災対策プロジェクトは薄っぺらくない fact9: あのページ数は治り掛けるし更に恨めしい fact10: あの震災対策プロジェクトはいじましい fact11: あの発電量は守り切るということはない fact12: あの震災対策プロジェクトは治り掛けるし加えてそれは守り切る fact13: もしも「とある物は吸引器でない一方で守り切る」ということは確かであるとすると通行税だ fact14: あのページ数はいじらしくないけど悍ましい fact15: 仮にあの震災対策プロジェクトがいじましくてそれがブラックボックス化するとするとそれは吸引器でない fact16: あの震災対策プロジェクトは崩れ易くない fact17: 仮にその到着時間が治り掛けるとするとあの震災対策プロジェクトは食品だ fact18: 「あの震災対策プロジェクトは味わい深くない」ということは事実だ fact19: 仮にあの震災対策プロジェクトが食品だとしたらあのページ数は食品だ ; $hypothesis$ = あのページ数は食品である ; $proof$ = 
fact12 -> int1: 「あの震災対策プロジェクトは守り切る」ということは成り立つ; fact15 & fact3 -> int2: あの震災対策プロジェクトは吸引器でない; int1 & int2 -> int3: あの震災対策プロジェクトは吸引器でないがしかし守り切る; fact13 -> int4: もしあの震災対策プロジェクトが吸引器でない一方で守り切るとしたらそれは通行税である; int3 & int4 -> int5: あの震災対策プロジェクトは通行税だ; fact7 -> int6: あの震災対策プロジェクトが味わい深くないならそれは悍ましいししかも薄っぺらい; fact18 & int6 -> int7: あの震災対策プロジェクトは悍ましいしおまけに薄っぺらい; int7 -> int8: あの震災対策プロジェクトは悍ましい; int5 & int8 -> int9: あの震災対策プロジェクトは通行税だし悍ましい; int9 & fact2 -> hypothesis; __DISPROVED__
事実1: この安全保障問題は男らしいしそれにＯＢ臭い
事実2: もし仮にあの震災対策プロジェクトが通行税であるし悍ましいとすると「あのページ数は食品でない」ということは確かである
事実3: あの震災対策プロジェクトはいじましくてブラックボックス化する
事実4: もしその到着時間が吸引器でないならあの震災対策プロジェクトは守り切るし加えてそれは治り掛ける
事実5: この修業時代はラウドネス推定値であるしその上ビット・パターンだ
事実6: もしあの震災対策プロジェクトが治り掛けるとすればあのページ数は通行税である
事実7: 味わい深くない物は悍ましいし薄っぺらい
事実8: あのページ数が食品だし更に味わい深いとすればあの震災対策プロジェクトは薄っぺらくない
事実9: あのページ数は治り掛けるし更に恨めしい
事実10: あの震災対策プロジェクトはいじましい
事実11: あの発電量は守り切るということはない
事実12: あの震災対策プロジェクトは治り掛けるし加えてそれは守り切る
事実13: もしも「とある物は吸引器でない一方で守り切る」ということは確かであるとすると通行税だ
事実14: あのページ数はいじらしくないけど悍ましい
事実15: 仮にあの震災対策プロジェクトがいじましくてそれがブラックボックス化するとするとそれは吸引器でない
事実16: あの震災対策プロジェクトは崩れ易くない
事実17: 仮にその到着時間が治り掛けるとするとあの震災対策プロジェクトは食品だ
事実18: 「あの震災対策プロジェクトは味わい深くない」ということは事実だ
事実19: 仮にあの震災対策プロジェクトが食品だとしたらあのページ数は食品だ

仮説: あのページ数は食品である
1. 事実12から、推論1: "「あの震災対策プロジェクトは守り切る」ということは成り立つ"が導かれる
2. 事実15と事実3から、推論2: "あの震災対策プロジェクトは吸引器でない"が導かれる
3. 推論1と推論2から、推論3: "あの震災対策プロジェクトは吸引器でないがしかし守り切る"が導かれる
4. 事実13から、推論4: "もしあの震災対策プロジェクトが吸引器でない一方で守り切るとしたらそれは通行税である"が導かれる
5. 推論3と推論4から、推論5: "あの震災対策プロジェクトは通行税だ"が導かれる
6. 事実7から、推論6: "あの震災対策プロジェクトが味わい深くないならそれは悍ましいししかも薄っぺらい"が導かれる
7. 事実18と推論6から、推論7: "あの震災対策プロジェクトは悍ましいしおまけに薄っぺらい"が導かれる
8. 推論7から、推論8: "あの震災対策プロジェクトは悍ましい"が導かれる
9. 推論5と推論8から、推論9: "あの震災対策プロジェクトは通行税だし悍ましい"が導かれる
10. 推論9と事実2から、仮説が否定される

よって、仮説が否定されました。