何かは六親等内だししかも取れ難い
fact1: この大戸は禁ぜない fact2: もし仮にこの流通業者は分解され難くないなら「あの崖っ縁は運び出さないし加えてそれは青々としない」ということは成り立たない fact3: このチベット密教は禁ぜない fact4: もしも「この流通業者は等しくないしそれに分解され難くない」ということは成り立たないとすれば「女給だ」ということは真実である fact5: もしあの崖っ縁が負かすとしたらこの大蛇ネットは負かす fact6: もし仮にこの大戸は禁ぜないとすれば「この指導者自身は等しくないししかも女給でない」ということは事実だということはない fact7: 「あの崖っ縁は痛ましいけれど分解され難いということはない」ということは成り立たない fact8: 仮に「何らかのものは運び出さなくてその上青々としない」ということは事実と異なるなら負かす fact9: この流通業者は分解され難くない fact10: 仮に何かは負かすとしたら痛ましい fact11: もし仮にこの指導者自身は痛ましいとすれば「等しい」ということは成り立つ fact12: そのラチス梁が六親等内ならこの大蛇ネットは六親等内だ fact13: もし仮にあの崖っ縁は痛ましいとすれば「この大蛇ネットは取れ難い」ということは成り立つ fact14: 「この指導者自身は等しくないしおまけに女給でない」ということは間違っているとすればそのラチス梁は六親等内だ
fact2 & fact9 -> int1: 「あの崖っ縁は運び出さなくておまけに青々としない」ということは成り立たない; fact8 -> int2: もしも「あの崖っ縁は運び出すということはないし青々としない」ということは誤りだとしたら負かす; int1 & int2 -> int3: あの崖っ縁は負かす; fact10 -> int4: 仮に「あの崖っ縁は負かす」ということは成り立つとしたらそれは痛ましい; int3 & int4 -> int5: 「あの崖っ縁は痛ましい」ということは真実である; int5 & fact13 -> int6: この大蛇ネットは取れ難い; fact6 & fact1 -> int7: 「この指導者自身は等しくないしかつ女給でない」ということは成り立たない; fact14 & int7 -> int8: そのラチス梁は六親等内だ; fact12 & int8 -> int9: この大蛇ネットは六親等内である; int6 & int9 -> int10: この大蛇ネットは六親等内であるし取れ難い; int10 -> hypothesis;
$facts$ = fact1: この大戸は禁ぜない fact2: もし仮にこの流通業者は分解され難くないなら「あの崖っ縁は運び出さないし加えてそれは青々としない」ということは成り立たない fact3: このチベット密教は禁ぜない fact4: もしも「この流通業者は等しくないしそれに分解され難くない」ということは成り立たないとすれば「女給だ」ということは真実である fact5: もしあの崖っ縁が負かすとしたらこの大蛇ネットは負かす fact6: もし仮にこの大戸は禁ぜないとすれば「この指導者自身は等しくないししかも女給でない」ということは事実だということはない fact7: 「あの崖っ縁は痛ましいけれど分解され難いということはない」ということは成り立たない fact8: 仮に「何らかのものは運び出さなくてその上青々としない」ということは事実と異なるなら負かす fact9: この流通業者は分解され難くない fact10: 仮に何かは負かすとしたら痛ましい fact11: もし仮にこの指導者自身は痛ましいとすれば「等しい」ということは成り立つ fact12: そのラチス梁が六親等内ならこの大蛇ネットは六親等内だ fact13: もし仮にあの崖っ縁は痛ましいとすれば「この大蛇ネットは取れ難い」ということは成り立つ fact14: 「この指導者自身は等しくないしおまけに女給でない」ということは間違っているとすればそのラチス梁は六親等内だ ; $hypothesis$ = 何かは六親等内だししかも取れ難い ; $proof$ = 
fact2 & fact9 -> int1: 「あの崖っ縁は運び出さなくておまけに青々としない」ということは成り立たない; fact8 -> int2: もしも「あの崖っ縁は運び出すということはないし青々としない」ということは誤りだとしたら負かす; int1 & int2 -> int3: あの崖っ縁は負かす; fact10 -> int4: 仮に「あの崖っ縁は負かす」ということは成り立つとしたらそれは痛ましい; int3 & int4 -> int5: 「あの崖っ縁は痛ましい」ということは真実である; int5 & fact13 -> int6: この大蛇ネットは取れ難い; fact6 & fact1 -> int7: 「この指導者自身は等しくないしかつ女給でない」ということは成り立たない; fact14 & int7 -> int8: そのラチス梁は六親等内だ; fact12 & int8 -> int9: この大蛇ネットは六親等内である; int6 & int9 -> int10: この大蛇ネットは六親等内であるし取れ難い; int10 -> hypothesis; __PROVED__
事実1: この大戸は禁ぜない
事実2: もし仮にこの流通業者は分解され難くないなら「あの崖っ縁は運び出さないし加えてそれは青々としない」ということは成り立たない
事実3: このチベット密教は禁ぜない
事実4: もしも「この流通業者は等しくないしそれに分解され難くない」ということは成り立たないとすれば「女給だ」ということは真実である
事実5: もしあの崖っ縁が負かすとしたらこの大蛇ネットは負かす
事実6: もし仮にこの大戸は禁ぜないとすれば「この指導者自身は等しくないししかも女給でない」ということは事実だということはない
事実7: 「あの崖っ縁は痛ましいけれど分解され難いということはない」ということは成り立たない
事実8: 仮に「何らかのものは運び出さなくてその上青々としない」ということは事実と異なるなら負かす
事実9: この流通業者は分解され難くない
事実10: 仮に何かは負かすとしたら痛ましい
事実11: もし仮にこの指導者自身は痛ましいとすれば「等しい」ということは成り立つ
事実12: そのラチス梁が六親等内ならこの大蛇ネットは六親等内だ
事実13: もし仮にあの崖っ縁は痛ましいとすれば「この大蛇ネットは取れ難い」ということは成り立つ
事実14: 「この指導者自身は等しくないしおまけに女給でない」ということは間違っているとすればそのラチス梁は六親等内だ

仮説: 何かは六親等内だししかも取れ難い
1. 事実2と事実9から、推論1: "「あの崖っ縁は運び出さなくておまけに青々としない」ということは成り立たない"が導かれる
2. 事実8から、推論2: "もしも「あの崖っ縁は運び出すということはないし青々としない」ということは誤りだとしたら負かす"が導かれる
3. 推論1と推論2から、推論3: "あの崖っ縁は負かす"が導かれる
4. 事実10から、推論4: "仮に「あの崖っ縁は負かす」ということは成り立つとしたらそれは痛ましい"が導かれる
5. 推論3と推論4から、推論5: "「あの崖っ縁は痛ましい」ということは真実である"が導かれる
6. 推論5と事実13から、推論6: "この大蛇ネットは取れ難い"が導かれる
7. 事実6と事実1から、推論7: "「この指導者自身は等しくないしかつ女給でない」ということは成り立たない"が導かれる
8. 事実14と推論7から、推論8: "そのラチス梁は六親等内だ"が導かれる
9. 事実12と推論8から、推論9: "この大蛇ネットは六親等内である"が導かれる
10. 推論6と推論9から、推論10: "この大蛇ネットは六親等内であるし取れ難い"が導かれる
11. 推論10から、仮説が導かれる

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