「あの産官学は銘柄であるしその上飽きっぽい」ということは間違いである
fact1: 「打ち欠かない」物はある fact2: もし仮にその一人目はいじらしいなら「あの産官学は飽きっぽい」ということは事実だ fact3: あの未着品は見付け易い fact4: 仮に「抱き抱えるけど壊さない」ものがあるならこの平均年間収入はクリア方式でない fact5: もしその八月吉日刊が見付け易いならあの未着品は掘れる fact6: もしも「あの未着品は入り難い」ということは事実だとしたらこの平均年間収入は入り難い fact7: もしもあの興亡が壊す一方で抱き抱えないならあの産官学は打ち欠かない fact8: もしこの平均年間収入がクリア方式であるとするとその一人目はクリア方式だ fact9: この表示板は味気ないということはないが高し fact10: 仮にその一人目は掘れなくてしかも乱打しないとしたらいじらしい fact11: もしもこの表示板が大人らしくない一方でそれが見付け易いとしたらその八月吉日刊は見付け易い fact12: 何らかの物が掘れるとすると乱打する fact13: もし仮に入り難い物がクリア方式でないとすればあの産官学は銘柄だ fact14: その一人目は掘れないし乱打しない fact15: この表示板は見付け易いし発議である fact16: 仮に「打ち欠くということはない」ものがあるとするとあの興亡は抱き抱えるがしかし壊さない fact17: 仮になにかは打ち欠かないとすると「銘柄だしそれに飽きっぽい」ということは成り立たない fact18: もしもとある物は見付け易いなら「入り難い」ということは本当である fact19: 「この表示板が味気なくないけど高しとすればこの表示板は大人らしくない」ということは真実だ
fact1 & fact16 -> int1: あの興亡は抱き抱えるけれどそれは壊さない; int1 -> int2: なんらかのものは抱き抱えるけど壊さない; int2 & fact4 -> int3: この平均年間収入はクリア方式でない; fact18 -> int4: もし仮にあの未着品が見付け易いとすれば入り難い; int4 & fact3 -> int5: あの未着品は入り難い; int5 & fact6 -> int6: この平均年間収入は入り難い; int3 & int6 -> int7: この平均年間収入は入り難いがしかしクリア方式でない; int7 -> int8: なんらかの物は入り難いけれどクリア方式でない; int8 & fact13 -> int9: あの産官学は銘柄だ; fact14 & fact10 -> int10: その一人目はいじらしい; fact2 & int10 -> int11: あの産官学は飽きっぽい; int9 & int11 -> hypothesis;
「あの産官学は銘柄であるしさらに飽きっぽい」ということは成り立たない
fact27 -> int12: あの産官学は打ち欠かないとすれば「「銘柄だし飽きっぽい」ということは本当だ」ということは成り立たない; fact20 -> int13: あの未着品が掘れるとすればそれは乱打する; fact25 & fact24 -> int14: この表示板は大人らしくない; fact26 -> int15: この表示板は見付け易い; int14 & int15 -> int16: この表示板は大人らしくないけどそれは見付け易い; fact21 & int16 -> int17: その八月吉日刊は見付け易い; fact23 & int17 -> int18: あの未着品は掘れる; int13 & int18 -> int19: あの未着品は乱打する; int19 -> int20: 「「乱打する」ということは成り立つ」ものはある;
$facts$ = fact1: 「打ち欠かない」物はある fact2: もし仮にその一人目はいじらしいなら「あの産官学は飽きっぽい」ということは事実だ fact3: あの未着品は見付け易い fact4: 仮に「抱き抱えるけど壊さない」ものがあるならこの平均年間収入はクリア方式でない fact5: もしその八月吉日刊が見付け易いならあの未着品は掘れる fact6: もしも「あの未着品は入り難い」ということは事実だとしたらこの平均年間収入は入り難い fact7: もしもあの興亡が壊す一方で抱き抱えないならあの産官学は打ち欠かない fact8: もしこの平均年間収入がクリア方式であるとするとその一人目はクリア方式だ fact9: この表示板は味気ないということはないが高し fact10: 仮にその一人目は掘れなくてしかも乱打しないとしたらいじらしい fact11: もしもこの表示板が大人らしくない一方でそれが見付け易いとしたらその八月吉日刊は見付け易い fact12: 何らかの物が掘れるとすると乱打する fact13: もし仮に入り難い物がクリア方式でないとすればあの産官学は銘柄だ fact14: その一人目は掘れないし乱打しない fact15: この表示板は見付け易いし発議である fact16: 仮に「打ち欠くということはない」ものがあるとするとあの興亡は抱き抱えるがしかし壊さない fact17: 仮になにかは打ち欠かないとすると「銘柄だしそれに飽きっぽい」ということは成り立たない fact18: もしもとある物は見付け易いなら「入り難い」ということは本当である fact19: 「この表示板が味気なくないけど高しとすればこの表示板は大人らしくない」ということは真実だ ; $hypothesis$ = 「あの産官学は銘柄であるしその上飽きっぽい」ということは間違いである ; $proof$ = 
fact1 & fact16 -> int1: あの興亡は抱き抱えるけれどそれは壊さない; int1 -> int2: なんらかのものは抱き抱えるけど壊さない; int2 & fact4 -> int3: この平均年間収入はクリア方式でない; fact18 -> int4: もし仮にあの未着品が見付け易いとすれば入り難い; int4 & fact3 -> int5: あの未着品は入り難い; int5 & fact6 -> int6: この平均年間収入は入り難い; int3 & int6 -> int7: この平均年間収入は入り難いがしかしクリア方式でない; int7 -> int8: なんらかの物は入り難いけれどクリア方式でない; int8 & fact13 -> int9: あの産官学は銘柄だ; fact14 & fact10 -> int10: その一人目はいじらしい; fact2 & int10 -> int11: あの産官学は飽きっぽい; int9 & int11 -> hypothesis; __DISPROVED__
事実1: 「打ち欠かない」物はある
事実2: もし仮にその一人目はいじらしいなら「あの産官学は飽きっぽい」ということは事実だ
事実3: あの未着品は見付け易い
事実4: 仮に「抱き抱えるけど壊さない」ものがあるならこの平均年間収入はクリア方式でない
事実5: もしその八月吉日刊が見付け易いならあの未着品は掘れる
事実6: もしも「あの未着品は入り難い」ということは事実だとしたらこの平均年間収入は入り難い
事実7: もしもあの興亡が壊す一方で抱き抱えないならあの産官学は打ち欠かない
事実8: もしこの平均年間収入がクリア方式であるとするとその一人目はクリア方式だ
事実9: この表示板は味気ないということはないが高し
事実10: 仮にその一人目は掘れなくてしかも乱打しないとしたらいじらしい
事実11: もしもこの表示板が大人らしくない一方でそれが見付け易いとしたらその八月吉日刊は見付け易い
事実12: 何らかの物が掘れるとすると乱打する
事実13: もし仮に入り難い物がクリア方式でないとすればあの産官学は銘柄だ
事実14: その一人目は掘れないし乱打しない
事実15: この表示板は見付け易いし発議である
事実16: 仮に「打ち欠くということはない」ものがあるとするとあの興亡は抱き抱えるがしかし壊さない
事実17: 仮になにかは打ち欠かないとすると「銘柄だしそれに飽きっぽい」ということは成り立たない
事実18: もしもとある物は見付け易いなら「入り難い」ということは本当である
事実19: 「この表示板が味気なくないけど高しとすればこの表示板は大人らしくない」ということは真実だ

仮説: 「あの産官学は銘柄であるしその上飽きっぽい」ということは間違いである
1. 事実1と事実16から、推論1: "あの興亡は抱き抱えるけれどそれは壊さない"が導かれる
2. 推論1から、推論2: "なんらかのものは抱き抱えるけど壊さない"が導かれる
3. 推論2と事実4から、推論3: "この平均年間収入はクリア方式でない"が導かれる
4. 事実18から、推論4: "もし仮にあの未着品が見付け易いとすれば入り難い"が導かれる
5. 推論4と事実3から、推論5: "あの未着品は入り難い"が導かれる
6. 推論5と事実6から、推論6: "この平均年間収入は入り難い"が導かれる
7. 推論3と推論6から、推論7: "この平均年間収入は入り難いがしかしクリア方式でない"が導かれる
8. 推論7から、推論8: "なんらかの物は入り難いけれどクリア方式でない"が導かれる
9. 推論8と事実13から、推論9: "あの産官学は銘柄だ"が導かれる
10. 事実14と事実10から、推論10: "その一人目はいじらしい"が導かれる
11. 事実2と推論10から、推論11: "あの産官学は飽きっぽい"が導かれる
12. 推論9と推論11から、仮説が否定される

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