その取り合いは詳細説明でない
fact1: もしもあの意味付け仮説がすんごいしそれにそれが詳細説明であるとすればあの現場力は痛がらない fact2: この現場力はドレスアップしない fact3: 「あの意味付け仮説は納付すらない一方で痛がる」ということは正しいならその取り合いは詳細説明であるということはない fact4: その九十二人は鹿鳴館でない fact5: 仮にその九十二人はアイヌ達なら「「それは伴い易いか伝達本能でない」ということは成り立つ」ということは誤りである fact6: 「「その取り合いは詳細説明であるしそれはすんごい」ということは成り立つ」ということは偽ならこの現場力はドレスアップしない fact7: もし仮にその九十二人が納付すらないならばあの意味付け仮説は納付すらないけれど痛がる fact8: もしその九十二人は鹿鳴館でないとしたら「子供っぽいということはないしそれは取り易くない」ということは成り立たない fact9: もしなにがしかの物が納付すとするとドレスアップしない一方で詳細説明だ fact10: もし仮に「あの意味付け仮説は納付すしさらに詳細説明だ」ということは成り立たないならその取り合いはドレスアップしない fact11: 仮にその九十二人が尋ぬとすればアイヌ達である fact12: その九十二人がシミュレート出来るけれど痛がらないとしたらこの現場力は痛がる fact13: もしとある物が這い寄るとしたらそれはシミュレート出来るしおまけにそれは痛がらない fact14: 仮にこの現場力はドレスアップしないとしたら「それは取っ付き難いしおまけにすんごい」ということは偽だ fact15: もしもその九十二人が納付すらないとしたらあの意味付け仮説は納付すらない fact16: もし仮に「この現場力は取っ付き難いしまたすんごい」ということは成り立たないならその九十二人は納付すらない fact17: 「何かは子供っぽくないしそれに取り易くない」ということは誤りであるとすれば「尋ぬ」ということは本当だ fact18: もし「その九十二人は伴い易いか伝達本能でないかもしくは両方ともである」ということは成り立つということはないとするとそれは這い寄る fact19: あの意味付け仮説は納付すらない
fact14 & fact2 -> int1: 「この現場力は取っ付き難くてさらにそれはすんごい」ということは成り立たない; int1 & fact16 -> int2: その九十二人は納付すらない; int2 & fact7 -> int3: あの意味付け仮説は納付すらないがしかし痛がる; int3 & fact3 -> hypothesis;
その取り合いは詳細説明だ
fact22 -> int4: その取り合いが納付すとしたらドレスアップするということはなくてそれは詳細説明だ; fact24 -> int5: もしもその九十二人が這い寄るとしたらシミュレート出来るしそれに痛がるということはない; fact23 -> int6: 仮に「その九十二人は子供っぽくないし取り易くない」ということは偽であるとすればそれは尋ぬ; fact28 & fact25 -> int7: 「その九十二人は子供っぽくないししかも取り易くない」ということは事実と異なる; int6 & int7 -> int8: その九十二人は尋ぬ; fact20 & int8 -> int9: その九十二人はアイヌ達だ; fact26 & int9 -> int10: 「その九十二人は伴い易いかまたは伝達本能でない」ということは間違っている; fact21 & int10 -> int11: その九十二人は這い寄る; int5 & int11 -> int12: その九十二人はシミュレート出来るがしかし痛がらない; fact27 & int12 -> int13: この現場力は痛がる; int13 -> int14: この現場力はおもろいかもしくは痛がるかもしくは両方ともだ; int14 -> int15: 「おもろいかもしくは痛がる」ものはある;
$facts$ = fact1: もしもあの意味付け仮説がすんごいしそれにそれが詳細説明であるとすればあの現場力は痛がらない fact2: この現場力はドレスアップしない fact3: 「あの意味付け仮説は納付すらない一方で痛がる」ということは正しいならその取り合いは詳細説明であるということはない fact4: その九十二人は鹿鳴館でない fact5: 仮にその九十二人はアイヌ達なら「「それは伴い易いか伝達本能でない」ということは成り立つ」ということは誤りである fact6: 「「その取り合いは詳細説明であるしそれはすんごい」ということは成り立つ」ということは偽ならこの現場力はドレスアップしない fact7: もし仮にその九十二人が納付すらないならばあの意味付け仮説は納付すらないけれど痛がる fact8: もしその九十二人は鹿鳴館でないとしたら「子供っぽいということはないしそれは取り易くない」ということは成り立たない fact9: もしなにがしかの物が納付すとするとドレスアップしない一方で詳細説明だ fact10: もし仮に「あの意味付け仮説は納付すしさらに詳細説明だ」ということは成り立たないならその取り合いはドレスアップしない fact11: 仮にその九十二人が尋ぬとすればアイヌ達である fact12: その九十二人がシミュレート出来るけれど痛がらないとしたらこの現場力は痛がる fact13: もしとある物が這い寄るとしたらそれはシミュレート出来るしおまけにそれは痛がらない fact14: 仮にこの現場力はドレスアップしないとしたら「それは取っ付き難いしおまけにすんごい」ということは偽だ fact15: もしもその九十二人が納付すらないとしたらあの意味付け仮説は納付すらない fact16: もし仮に「この現場力は取っ付き難いしまたすんごい」ということは成り立たないならその九十二人は納付すらない fact17: 「何かは子供っぽくないしそれに取り易くない」ということは誤りであるとすれば「尋ぬ」ということは本当だ fact18: もし「その九十二人は伴い易いか伝達本能でないかもしくは両方ともである」ということは成り立つということはないとするとそれは這い寄る fact19: あの意味付け仮説は納付すらない ; $hypothesis$ = その取り合いは詳細説明でない ; $proof$ = 
fact14 & fact2 -> int1: 「この現場力は取っ付き難くてさらにそれはすんごい」ということは成り立たない; int1 & fact16 -> int2: その九十二人は納付すらない; int2 & fact7 -> int3: あの意味付け仮説は納付すらないがしかし痛がる; int3 & fact3 -> hypothesis; __PROVED__
事実1: もしもあの意味付け仮説がすんごいしそれにそれが詳細説明であるとすればあの現場力は痛がらない
事実2: この現場力はドレスアップしない
事実3: 「あの意味付け仮説は納付すらない一方で痛がる」ということは正しいならその取り合いは詳細説明であるということはない
事実4: その九十二人は鹿鳴館でない
事実5: 仮にその九十二人はアイヌ達なら「「それは伴い易いか伝達本能でない」ということは成り立つ」ということは誤りである
事実6: 「「その取り合いは詳細説明であるしそれはすんごい」ということは成り立つ」ということは偽ならこの現場力はドレスアップしない
事実7: もし仮にその九十二人が納付すらないならばあの意味付け仮説は納付すらないけれど痛がる
事実8: もしその九十二人は鹿鳴館でないとしたら「子供っぽいということはないしそれは取り易くない」ということは成り立たない
事実9: もしなにがしかの物が納付すとするとドレスアップしない一方で詳細説明だ
事実10: もし仮に「あの意味付け仮説は納付すしさらに詳細説明だ」ということは成り立たないならその取り合いはドレスアップしない
事実11: 仮にその九十二人が尋ぬとすればアイヌ達である
事実12: その九十二人がシミュレート出来るけれど痛がらないとしたらこの現場力は痛がる
事実13: もしとある物が這い寄るとしたらそれはシミュレート出来るしおまけにそれは痛がらない
事実14: 仮にこの現場力はドレスアップしないとしたら「それは取っ付き難いしおまけにすんごい」ということは偽だ
事実15: もしもその九十二人が納付すらないとしたらあの意味付け仮説は納付すらない
事実16: もし仮に「この現場力は取っ付き難いしまたすんごい」ということは成り立たないならその九十二人は納付すらない
事実17: 「何かは子供っぽくないしそれに取り易くない」ということは誤りであるとすれば「尋ぬ」ということは本当だ
事実18: もし「その九十二人は伴い易いか伝達本能でないかもしくは両方ともである」ということは成り立つということはないとするとそれは這い寄る
事実19: あの意味付け仮説は納付すらない

仮説: その取り合いは詳細説明でない
1. 事実14と事実2から、推論1: "「この現場力は取っ付き難くてさらにそれはすんごい」ということは成り立たない"が導かれる
2. 推論1と事実16から、推論2: "その九十二人は納付すらない"が導かれる
3. 推論2と事実7から、推論3: "あの意味付け仮説は納付すらないがしかし痛がる"が導かれる
4. 推論3と事実3から、仮説が導かれる

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