その有形・無形はしかつめらしい
fact1: このデザイナーは心室であるかあるいは共有結合性だ fact2: 仮にこの将兵はしかつめらしくないなら「野面積みでないがしかし反応し易い」ということは成り立たない fact3: もしも「あの朝時代は反映され易い」ということは本当であるとするとその有形・無形はしかつめらしい fact4: もし仮にこの将兵は反応し易くないとすれば野面積みだ fact5: 「あの朝時代は銃撃するけれどそれは尽くし難くない」ということは成り立たないとしたら「この将兵は味わい深い」ということは本当だ fact6: なにがしかのものはぽんするし更にそれは生臭い fact7: もし仮に「なにがしかのものは研究会報告であるけど野面積みでない」ということは確かだとしたら「しかつめらしい」ということは成り立たない fact8: 味わい深いかあるいは反映され易いものはざわめかない fact9: もし「なにかは野面積みだし反応し易い」ということは誤りであるとすればそれは反応し易くない fact10: もしこの将兵は共有結合性でないとするとそれは心室で反応し易い fact11: 「あの朝時代は銃撃する一方で尽くし難くない」ということは真実でない fact12: 反映され易くないものは外的条件でまた狭苦しい fact13: なんらかのものがぽんするしかつそれが生臭いとしたらこの将兵は共有結合性でない fact14: あの朝時代は生臭い fact15: このデザイナーが心室であるかもしくはそれが共有結合性だとすれば研究会報告でない fact16: この将兵はしかつめらしくない fact17: 「ボディカラーである」ものはある fact18: このデザイナーは研究会報告でないならば「それは野面積みだし更に反応し易い」ということは成り立たない fact19: 「研究会報告で尽くし難い」物があるとしたらその有形・無形は味わい深くない fact20: もしあの朝時代が研究会報告であるがしかしそれが反応し易くないならこの将兵は銃撃しない fact21: もしもあるものは六〜九Ｆであるかまたはささくれるとしたら掻き落とさない fact22: もしこのデザイナーが野面積みでないとするとその有形・無形は研究会報告だけれど野面積みであるということはない fact23: 仮にこの将兵が反映され易いとするとあの朝時代は反映され易い fact24: もし「この将兵はざわめかないかまたは反映され易いということはないかもしくはどちらもだ」ということは成り立たないとしたらあの朝時代は反映され易くない fact25: もしこの将兵が反応し易いがざわめかないとすればこのデザイナーは野面積みでない
fact5 & fact11 -> int1: この将兵は味わい深い; int1 -> int2: この将兵は味わい深いかまたは反映され易い; fact8 -> int3: 仮にこの将兵が味わい深いかそれが反映され易いとすればざわめかない; int2 & int3 -> int4: この将兵はざわめかない; fact6 & fact13 -> int5: この将兵は共有結合性でない; int5 & fact10 -> int6: この将兵は心室で反応し易い; int6 -> int7: この将兵は反応し易い; int4 & int7 -> int8: この将兵は反応し易い一方でざわめくということはない; int8 & fact25 -> int9: このデザイナーは野面積みだということはない; int9 & fact22 -> int10: その有形・無形は研究会報告だ一方で野面積みでない; fact7 -> int11: もし仮にその有形・無形は研究会報告だが野面積みでないとしたら「しかつめらしくない」ということは真実だ; int10 & int11 -> hypothesis;
その有形・無形はしかつめらしい
fact29 -> int12: 「このデザイナーは野面積みであるしその上反応し易い」ということは成り立たないなら反応し易いということはない; fact28 & fact27 -> int13: このデザイナーは研究会報告でない; fact31 & int13 -> int14: 「このデザイナーは野面積みであるしかつ反応し易い」ということは間違っている; int12 & int14 -> int15: このデザイナーは反応し易くない;
$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: もし「この将兵はざわめかないかまたは反映され易いということはないかもしくはどちらもだ」ということは成り立たないとしたらあの朝時代は反映され易くない fact25: もしこの将兵が反応し易いがざわめかないとすればこのデザイナーは野面積みでない ; $hypothesis$ = その有形・無形はしかつめらしい ; $proof$ = 
fact5 & fact11 -> int1: この将兵は味わい深い; int1 -> int2: この将兵は味わい深いかまたは反映され易い; fact8 -> int3: 仮にこの将兵が味わい深いかそれが反映され易いとすればざわめかない; int2 & int3 -> int4: この将兵はざわめかない; fact6 & fact13 -> int5: この将兵は共有結合性でない; int5 & fact10 -> int6: この将兵は心室で反応し易い; int6 -> int7: この将兵は反応し易い; int4 & int7 -> int8: この将兵は反応し易い一方でざわめくということはない; int8 & fact25 -> int9: このデザイナーは野面積みだということはない; int9 & fact22 -> int10: その有形・無形は研究会報告だ一方で野面積みでない; fact7 -> int11: もし仮にその有形・無形は研究会報告だが野面積みでないとしたら「しかつめらしくない」ということは真実だ; int10 & int11 -> hypothesis; __DISPROVED__
事実1: このデザイナーは心室であるかあるいは共有結合性だ
事実2: 仮にこの将兵はしかつめらしくないなら「野面積みでないがしかし反応し易い」ということは成り立たない
事実3: もしも「あの朝時代は反映され易い」ということは本当であるとするとその有形・無形はしかつめらしい
事実4: もし仮にこの将兵は反応し易くないとすれば野面積みだ
事実5: 「あの朝時代は銃撃するけれどそれは尽くし難くない」ということは成り立たないとしたら「この将兵は味わい深い」ということは本当だ
事実6: なにがしかのものはぽんするし更にそれは生臭い
事実7: もし仮に「なにがしかのものは研究会報告であるけど野面積みでない」ということは確かだとしたら「しかつめらしい」ということは成り立たない
事実8: 味わい深いかあるいは反映され易いものはざわめかない
事実9: もし「なにかは野面積みだし反応し易い」ということは誤りであるとすればそれは反応し易くない
事実10: もしこの将兵は共有結合性でないとするとそれは心室で反応し易い
事実11: 「あの朝時代は銃撃する一方で尽くし難くない」ということは真実でない
事実12: 反映され易くないものは外的条件でまた狭苦しい
事実13: なんらかのものがぽんするしかつそれが生臭いとしたらこの将兵は共有結合性でない
事実14: あの朝時代は生臭い
事実15: このデザイナーが心室であるかもしくはそれが共有結合性だとすれば研究会報告でない
事実16: この将兵はしかつめらしくない
事実17: 「ボディカラーである」ものはある
事実18: このデザイナーは研究会報告でないならば「それは野面積みだし更に反応し易い」ということは成り立たない
事実19: 「研究会報告で尽くし難い」物があるとしたらその有形・無形は味わい深くない
事実20: もしあの朝時代が研究会報告であるがしかしそれが反応し易くないならこの将兵は銃撃しない
事実21: もしもあるものは六〜九Ｆであるかまたはささくれるとしたら掻き落とさない
事実22: もしこのデザイナーが野面積みでないとするとその有形・無形は研究会報告だけれど野面積みであるということはない
事実23: 仮にこの将兵が反映され易いとするとあの朝時代は反映され易い
事実24: もし「この将兵はざわめかないかまたは反映され易いということはないかもしくはどちらもだ」ということは成り立たないとしたらあの朝時代は反映され易くない
事実25: もしこの将兵が反応し易いがざわめかないとすればこのデザイナーは野面積みでない

仮説: その有形・無形はしかつめらしい
1. 事実5と事実11から、推論1: "この将兵は味わい深い"が導かれる
2. 推論1から、推論2: "この将兵は味わい深いかまたは反映され易い"が導かれる
3. 事実8から、推論3: "仮にこの将兵が味わい深いかそれが反映され易いとすればざわめかない"が導かれる
4. 推論2と推論3から、推論4: "この将兵はざわめかない"が導かれる
5. 事実6と事実13から、推論5: "この将兵は共有結合性でない"が導かれる
6. 推論5と事実10から、推論6: "この将兵は心室で反応し易い"が導かれる
7. 推論6から、推論7: "この将兵は反応し易い"が導かれる
8. 推論4と推論7から、推論8: "この将兵は反応し易い一方でざわめくということはない"が導かれる
9. 推論8と事実25から、推論9: "このデザイナーは野面積みだということはない"が導かれる
10. 推論9と事実22から、推論10: "その有形・無形は研究会報告だ一方で野面積みでない"が導かれる
11. 事実7から、推論11: "もし仮にその有形・無形は研究会報告だが野面積みでないとしたら「しかつめらしくない」ということは真実だ"が導かれる
12. 推論10と推論11から、仮説が否定される

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