その実体経済は近しないか反映され易くないかまたは両方ともである
fact1: 真っ黒くないし加えてきな臭い物は反映され易くない fact2: もしもあの平地林は公的生活であるならば「来難い」ということは成り立つ fact3: 院内報であるしおまけに公的生活でないというものはない fact4: 真っ黒くない物は近しないかあるいは反映され易くないか両方ともだ fact5: あの平地林が来難いとしたらそれはきな臭い fact6: 仮にその実体経済はきな臭くないけれど近しとするとそれは反映され易くない fact7: その実体経済は近し fact8: 「あの平地林は院内報だしまた公的生活だ」ということは真実であるということはない fact9: 天使らしいし読み難くない物はない fact10: あの平地林はきな臭い fact11: あの平地林は反映され易くないとしたら「その実体経済は近しということはないかまたは反映され易くない」ということは事実でない fact12: 公的生活は来難い fact13: 「「あの平地林は擦り抜ける一方でそれは反映され易くない」ということは偽である」ということは成り立つ fact14: もし仮に「あの平地林は反映され易いということはない」ということは確かならばその実体経済は近し fact15: もしも「ある物は院内報だけれど公的生活でない」ということは事実と異なるとすれば来難い fact16: あの平地林が来難いならそれは真っ黒いということはないがきな臭い
fact15 -> int1: 「あの平地林は院内報だがしかし公的生活でない」ということは事実と異なるとすればそれは来難い; fact3 -> int2: 「あの平地林は院内報だけど公的生活でない」ということは偽だ; int1 & int2 -> int3: あの平地林は来難い; int3 & fact16 -> int4: あの平地林は真っ黒くない一方でそれはきな臭い; fact1 -> int5: もしもあの平地林は真っ黒くないがしかしきな臭いとしたらそれは反映され易くない; int4 & int5 -> int6: 「あの平地林は反映され易くない」ということは真実だ; int6 & fact11 -> hypothesis;
その実体経済は近しないかまたは反映され易いということはないかもしくは両方だ
fact17 -> int7: 仮にその実体経済が真っ黒くないとすればそれは近しないかあるいは反映され易くないかもしくはどちらもである;
$facts$ = fact1: 真っ黒くないし加えてきな臭い物は反映され易くない fact2: もしもあの平地林は公的生活であるならば「来難い」ということは成り立つ fact3: 院内報であるしおまけに公的生活でないというものはない fact4: 真っ黒くない物は近しないかあるいは反映され易くないか両方ともだ fact5: あの平地林が来難いとしたらそれはきな臭い fact6: 仮にその実体経済はきな臭くないけれど近しとするとそれは反映され易くない fact7: その実体経済は近し fact8: 「あの平地林は院内報だしまた公的生活だ」ということは真実であるということはない fact9: 天使らしいし読み難くない物はない fact10: あの平地林はきな臭い fact11: あの平地林は反映され易くないとしたら「その実体経済は近しということはないかまたは反映され易くない」ということは事実でない fact12: 公的生活は来難い fact13: 「「あの平地林は擦り抜ける一方でそれは反映され易くない」ということは偽である」ということは成り立つ fact14: もし仮に「あの平地林は反映され易いということはない」ということは確かならばその実体経済は近し fact15: もしも「ある物は院内報だけれど公的生活でない」ということは事実と異なるとすれば来難い fact16: あの平地林が来難いならそれは真っ黒いということはないがきな臭い ; $hypothesis$ = その実体経済は近しないか反映され易くないかまたは両方ともである ; $proof$ = 
fact15 -> int1: 「あの平地林は院内報だがしかし公的生活でない」ということは事実と異なるとすればそれは来難い; fact3 -> int2: 「あの平地林は院内報だけど公的生活でない」ということは偽だ; int1 & int2 -> int3: あの平地林は来難い; int3 & fact16 -> int4: あの平地林は真っ黒くない一方でそれはきな臭い; fact1 -> int5: もしもあの平地林は真っ黒くないがしかしきな臭いとしたらそれは反映され易くない; int4 & int5 -> int6: 「あの平地林は反映され易くない」ということは真実だ; int6 & fact11 -> hypothesis; __DISPROVED__
事実1: 真っ黒くないし加えてきな臭い物は反映され易くない
事実2: もしもあの平地林は公的生活であるならば「来難い」ということは成り立つ
事実3: 院内報であるしおまけに公的生活でないというものはない
事実4: 真っ黒くない物は近しないかあるいは反映され易くないか両方ともだ
事実5: あの平地林が来難いとしたらそれはきな臭い
事実6: 仮にその実体経済はきな臭くないけれど近しとするとそれは反映され易くない
事実7: その実体経済は近し
事実8: 「あの平地林は院内報だしまた公的生活だ」ということは真実であるということはない
事実9: 天使らしいし読み難くない物はない
事実10: あの平地林はきな臭い
事実11: あの平地林は反映され易くないとしたら「その実体経済は近しということはないかまたは反映され易くない」ということは事実でない
事実12: 公的生活は来難い
事実13: 「「あの平地林は擦り抜ける一方でそれは反映され易くない」ということは偽である」ということは成り立つ
事実14: もし仮に「あの平地林は反映され易いということはない」ということは確かならばその実体経済は近し
事実15: もしも「ある物は院内報だけれど公的生活でない」ということは事実と異なるとすれば来難い
事実16: あの平地林が来難いならそれは真っ黒いということはないがきな臭い

仮説: その実体経済は近しないか反映され易くないかまたは両方ともである
1. 事実15から、推論1: "「あの平地林は院内報だがしかし公的生活でない」ということは事実と異なるとすればそれは来難い"が導かれる
2. 事実3から、推論2: "「あの平地林は院内報だけど公的生活でない」ということは偽だ"が導かれる
3. 推論1と推論2から、推論3: "あの平地林は来難い"が導かれる
4. 推論3と事実16から、推論4: "あの平地林は真っ黒くない一方でそれはきな臭い"が導かれる
5. 事実1から、推論5: "もしもあの平地林は真っ黒くないがしかしきな臭いとしたらそれは反映され易くない"が導かれる
6. 推論4と推論5から、推論6: "「あの平地林は反映され易くない」ということは真実だ"が導かれる
7. 推論6と事実11から、仮説が否定される

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