その防止等は供託出来るしアメリカらしい
fact1: 測り難い物はハイカーでない fact2: ひもじいということはないものは打ち上がり易いし加えて測り難い fact3: もし日照量は騒がしいなら「ひもじくない」ということは正しい fact4: その防止等は供託出来る fact5: 「入り易いかまたは打ち落とすかどちらもな」物はある fact6: 何らかの物が入り易いならこのインストール中は騒がしい fact7: もしもこのインストール中がハイカーでないとしたらその防止等は供託出来る fact8: 仮に「このインストール中は笑い飛ばせる」ということは本当であるなら日照量だ fact9: ひもじいということはないものは打ち上がり易い fact10: もしもこのインストール中がひもじくないならば打ち上がり易い fact11: このインストール中は笑い飛ばせる fact12: もし仮に「入り易いかまたは打ち落とすかもしくはどちらもな」物があればこのインストール中は騒がしい fact13: もし仮に「このインストール中はアメリカらしいけれど入り易くない」ということは成り立たないとしたらアメリカらしくない fact14: もし仮にこのインストール中がハイカーでないならばその防止等は供託出来るしかつそれはアメリカらしい
fact5 & fact12 -> int1: このインストール中は騒がしい; fact8 & fact11 -> int2: このインストール中は日照量である; int1 & int2 -> int3: このインストール中は日照量であるし騒がしい; fact3 -> int4: もしこのインストール中が日照量だしその上それが騒がしいとするとひもじくない; int3 & int4 -> int5: このインストール中はひもじくない; fact2 -> int6: もしもこのインストール中がひもじくないとしたら打ち上がり易くてさらにそれは測り難い; int5 & int6 -> int7: このインストール中は打ち上がり易くて更に測り難い; int7 -> int8: このインストール中は測り難い; fact1 -> int9: 仮にこのインストール中が測り難いとするとハイカーでない; int8 & int9 -> int10: このインストール中はハイカーでない; int10 & fact14 -> hypothesis;
「その防止等は供託出来るしアメリカらしい」ということは成り立たない
$facts$ = fact1: 測り難い物はハイカーでない fact2: ひもじいということはないものは打ち上がり易いし加えて測り難い fact3: もし日照量は騒がしいなら「ひもじくない」ということは正しい fact4: その防止等は供託出来る fact5: 「入り易いかまたは打ち落とすかどちらもな」物はある fact6: 何らかの物が入り易いならこのインストール中は騒がしい fact7: もしもこのインストール中がハイカーでないとしたらその防止等は供託出来る fact8: 仮に「このインストール中は笑い飛ばせる」ということは本当であるなら日照量だ fact9: ひもじいということはないものは打ち上がり易い fact10: もしもこのインストール中がひもじくないならば打ち上がり易い fact11: このインストール中は笑い飛ばせる fact12: もし仮に「入り易いかまたは打ち落とすかもしくはどちらもな」物があればこのインストール中は騒がしい fact13: もし仮に「このインストール中はアメリカらしいけれど入り易くない」ということは成り立たないとしたらアメリカらしくない fact14: もし仮にこのインストール中がハイカーでないならばその防止等は供託出来るしかつそれはアメリカらしい ; $hypothesis$ = その防止等は供託出来るしアメリカらしい ; $proof$ = 
fact5 & fact12 -> int1: このインストール中は騒がしい; fact8 & fact11 -> int2: このインストール中は日照量である; int1 & int2 -> int3: このインストール中は日照量であるし騒がしい; fact3 -> int4: もしこのインストール中が日照量だしその上それが騒がしいとするとひもじくない; int3 & int4 -> int5: このインストール中はひもじくない; fact2 -> int6: もしもこのインストール中がひもじくないとしたら打ち上がり易くてさらにそれは測り難い; int5 & int6 -> int7: このインストール中は打ち上がり易くて更に測り難い; int7 -> int8: このインストール中は測り難い; fact1 -> int9: 仮にこのインストール中が測り難いとするとハイカーでない; int8 & int9 -> int10: このインストール中はハイカーでない; int10 & fact14 -> hypothesis; __PROVED__
事実1: 測り難い物はハイカーでない
事実2: ひもじいということはないものは打ち上がり易いし加えて測り難い
事実3: もし日照量は騒がしいなら「ひもじくない」ということは正しい
事実4: その防止等は供託出来る
事実5: 「入り易いかまたは打ち落とすかどちらもな」物はある
事実6: 何らかの物が入り易いならこのインストール中は騒がしい
事実7: もしもこのインストール中がハイカーでないとしたらその防止等は供託出来る
事実8: 仮に「このインストール中は笑い飛ばせる」ということは本当であるなら日照量だ
事実9: ひもじいということはないものは打ち上がり易い
事実10: もしもこのインストール中がひもじくないならば打ち上がり易い
事実11: このインストール中は笑い飛ばせる
事実12: もし仮に「入り易いかまたは打ち落とすかもしくはどちらもな」物があればこのインストール中は騒がしい
事実13: もし仮に「このインストール中はアメリカらしいけれど入り易くない」ということは成り立たないとしたらアメリカらしくない
事実14: もし仮にこのインストール中がハイカーでないならばその防止等は供託出来るしかつそれはアメリカらしい

仮説: その防止等は供託出来るしアメリカらしい
1. 事実5と事実12から、推論1: "このインストール中は騒がしい"が導かれる
2. 事実8と事実11から、推論2: "このインストール中は日照量である"が導かれる
3. 推論1と推論2から、推論3: "このインストール中は日照量であるし騒がしい"が導かれる
4. 事実3から、推論4: "もしこのインストール中が日照量だしその上それが騒がしいとするとひもじくない"が導かれる
5. 推論3と推論4から、推論5: "このインストール中はひもじくない"が導かれる
6. 事実2から、推論6: "もしもこのインストール中がひもじくないとしたら打ち上がり易くてさらにそれは測り難い"が導かれる
7. 推論5と推論6から、推論7: "このインストール中は打ち上がり易くて更に測り難い"が導かれる
8. 推論7から、推論8: "このインストール中は測り難い"が導かれる
9. 事実1から、推論9: "仮にこのインストール中が測り難いとするとハイカーでない"が導かれる
10. 推論8と推論9から、推論10: "このインストール中はハイカーでない"が導かれる
11. 推論10と事実14から、仮説が導かれる

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