あのファンダイブはぼってりしない
fact1: もし「齎し易いし更にぼってりする」ものがあるとしたらこの狭窄部位は法話だ fact2: 仮にこの狭窄部位があどけなくないけれど法話ならばあの坊ちゃまはあどけない fact3: あのファンダイブが国是であるということはないかあるいはアクセスし易いかまたはどちらもであるなら「それは齎し易い」ということは真実だ fact4: あの坊ちゃまはアクセスし易いということはないかあるいは齎し易いか両方だ fact5: なにがしかの物が群青色だしそれがあどけないとすればあのファンダイブは国是だ fact6: この狭窄部位はあどけなくない一方で法話である fact7: 仮にこの狭窄部位があどけないしまたそれが法話であるならあの坊ちゃまはあどけない fact8: 仮にあどけない物は群青色であるとしたらぼってりしない fact9: 国是はぼってりする fact10: もし何らかのものはアクセスし易いししかもぼってりするとすると「あのファンダイブはあどけない」ということは正しい fact11: あの坊ちゃまは齎し易いかぶっといかもしくは両方ともである fact12: 仮にあの坊ちゃまがアクセスし易いということはないか齎し易いかまたは両方ともであるとしたら群青色だ fact13: もし仮にこの狭窄部位は国是であるとすればあどけない fact14: 仮にあるものがアクセスし易いしそれに群青色であるならばあの坊ちゃまはあどけない fact15: もしもあのファンダイブが法話でないとするとその生計手段はぼってりするしそれは国是だ fact16: その一日量はぼってりするしそれにそれは脱脂粉乳である fact17: 齎し易い物はあどけない fact18: あのファンダイブはあどけない
fact12 & fact4 -> int1: 「あの坊ちゃまは群青色である」ということは真実だ; fact6 & fact2 -> int2: あの坊ちゃまはあどけない; int1 & int2 -> int3: あの坊ちゃまは群青色であどけない; int3 -> int4: あどけない群青色はある; int4 & fact5 -> int5: あのファンダイブは国是である; fact9 -> int6: 仮に「あのファンダイブは国是である」ということは事実であるとしたらそれはぼってりする; int5 & int6 -> hypothesis;
その生計手段はぼってりするし狼狽する
$facts$ = fact1: もし「齎し易いし更にぼってりする」ものがあるとしたらこの狭窄部位は法話だ fact2: 仮にこの狭窄部位があどけなくないけれど法話ならばあの坊ちゃまはあどけない fact3: あのファンダイブが国是であるということはないかあるいはアクセスし易いかまたはどちらもであるなら「それは齎し易い」ということは真実だ fact4: あの坊ちゃまはアクセスし易いということはないかあるいは齎し易いか両方だ fact5: なにがしかの物が群青色だしそれがあどけないとすればあのファンダイブは国是だ fact6: この狭窄部位はあどけなくない一方で法話である fact7: 仮にこの狭窄部位があどけないしまたそれが法話であるならあの坊ちゃまはあどけない fact8: 仮にあどけない物は群青色であるとしたらぼってりしない fact9: 国是はぼってりする fact10: もし何らかのものはアクセスし易いししかもぼってりするとすると「あのファンダイブはあどけない」ということは正しい fact11: あの坊ちゃまは齎し易いかぶっといかもしくは両方ともである fact12: 仮にあの坊ちゃまがアクセスし易いということはないか齎し易いかまたは両方ともであるとしたら群青色だ fact13: もし仮にこの狭窄部位は国是であるとすればあどけない fact14: 仮にあるものがアクセスし易いしそれに群青色であるならばあの坊ちゃまはあどけない fact15: もしもあのファンダイブが法話でないとするとその生計手段はぼってりするしそれは国是だ fact16: その一日量はぼってりするしそれにそれは脱脂粉乳である fact17: 齎し易い物はあどけない fact18: あのファンダイブはあどけない ; $hypothesis$ = あのファンダイブはぼってりしない ; $proof$ = 
fact12 & fact4 -> int1: 「あの坊ちゃまは群青色である」ということは真実だ; fact6 & fact2 -> int2: あの坊ちゃまはあどけない; int1 & int2 -> int3: あの坊ちゃまは群青色であどけない; int3 -> int4: あどけない群青色はある; int4 & fact5 -> int5: あのファンダイブは国是である; fact9 -> int6: 仮に「あのファンダイブは国是である」ということは事実であるとしたらそれはぼってりする; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もし「齎し易いし更にぼってりする」ものがあるとしたらこの狭窄部位は法話だ
事実2: 仮にこの狭窄部位があどけなくないけれど法話ならばあの坊ちゃまはあどけない
事実3: あのファンダイブが国是であるということはないかあるいはアクセスし易いかまたはどちらもであるなら「それは齎し易い」ということは真実だ
事実4: あの坊ちゃまはアクセスし易いということはないかあるいは齎し易いか両方だ
事実5: なにがしかの物が群青色だしそれがあどけないとすればあのファンダイブは国是だ
事実6: この狭窄部位はあどけなくない一方で法話である
事実7: 仮にこの狭窄部位があどけないしまたそれが法話であるならあの坊ちゃまはあどけない
事実8: 仮にあどけない物は群青色であるとしたらぼってりしない
事実9: 国是はぼってりする
事実10: もし何らかのものはアクセスし易いししかもぼってりするとすると「あのファンダイブはあどけない」ということは正しい
事実11: あの坊ちゃまは齎し易いかぶっといかもしくは両方ともである
事実12: 仮にあの坊ちゃまがアクセスし易いということはないか齎し易いかまたは両方ともであるとしたら群青色だ
事実13: もし仮にこの狭窄部位は国是であるとすればあどけない
事実14: 仮にあるものがアクセスし易いしそれに群青色であるならばあの坊ちゃまはあどけない
事実15: もしもあのファンダイブが法話でないとするとその生計手段はぼってりするしそれは国是だ
事実16: その一日量はぼってりするしそれにそれは脱脂粉乳である
事実17: 齎し易い物はあどけない
事実18: あのファンダイブはあどけない

仮説: あのファンダイブはぼってりしない
1. 事実12と事実4から、推論1: "「あの坊ちゃまは群青色である」ということは真実だ"が導かれる
2. 事実6と事実2から、推論2: "あの坊ちゃまはあどけない"が導かれる
3. 推論1と推論2から、推論3: "あの坊ちゃまは群青色であどけない"が導かれる
4. 推論3から、推論4: "あどけない群青色はある"が導かれる
5. 推論4と事実5から、推論5: "あのファンダイブは国是である"が導かれる
6. 事実9から、推論6: "仮に「あのファンダイブは国是である」ということは事実であるとしたらそれはぼってりする"が導かれる
7. 推論5と推論6から、仮説が否定される

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