「この血縁関係は陥り易い」ということは正しい
fact1: もしあの有料メディアが論考するし加えてスキー場だとすればあの慰安婦問題は指差し為さらない fact2: もしあの十二部族が指差し為さるということはないとするとその慰安婦問題は論考するしおまけにスキー場だ fact3: その慰安婦問題は論考するなら「あのプレハブ小屋は論考する」ということは本当である fact4: 仮に何かは定義付けないとすると陥り易い fact5: もし「ある物は指差し為さるしそれに心安い」ということは誤りならば「それは指差し為さるということはない」ということは本当である fact6: なにかは定義付けないとすると「それは指差し為さるしまたそれは心安い」ということは間違っている fact7: もしもあのプレハブ小屋が証券業協会だけどそれが陥り易くないとすればこの血縁関係は陥り易いということはない fact8: 「激しい」ものはある fact9: 仮に「あのプレハブ小屋は証券業協会だということはないしスキー場でない」ということは間違いだとするとあの有料メディアは論考しない fact10: もし仮に「あの有料メディアはスキー場でない」ということは成り立つとしたらそれは指差し為さる fact11: もし仮にあのプレハブ小屋は激しくないならば「あの有料メディアは激しくなくてしかもスキー場でない」ということは成り立たない fact12: あの有料メディアは激しくておまけにスキー場だ fact13: もし仮に「論考しない」ものはあるとすると「あのプレハブ小屋は証券業協会だ」ということは確かである fact14: もし仮にその慰安婦問題は指差し為さらないとすれば「あの十二部族は指差し為さらなくてしかも心安くない」ということは成り立たない fact15: もしも「あの十二部族は指差し為さらないし心安くない」ということは成り立たないとしたらこの血縁関係は定義付けない fact16: あのプレハブ小屋は証券業協会でない fact17: もしも「「その出版業は激しくないがしかしそれはダブルである」ということは成り立たない」ということは本当だとするとあの十二部族は定義付けない fact18: そのトリグリセリドが追い始めるしその上それは激しい
void -> assump1: 以下のように仮定する。あの有料メディアは論考しない; assump1 -> int1: 何らかのものは論考しない; int1 & fact13 -> int2: あのプレハブ小屋は証券業協会である; int2 & fact16 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの有料メディアは論考する; fact12 -> int5: あの有料メディアはスキー場である; int4 & int5 -> int6: あの有料メディアは論考するしスキー場だ; int6 & fact1 -> int7: その慰安婦問題は指差し為さらない; int7 & fact14 -> int8: 「あの十二部族は指差し為さらなくて更に心安くない」ということは成り立たない; int8 & fact15 -> int9: この血縁関係は定義付けない; fact4 -> int10: もし仮に「この血縁関係は定義付けるということはない」ということは事実だとしたら「それは陥り易い」ということは成り立つ; int9 & int10 -> hypothesis;
この血縁関係は陥り易くない
fact24 -> int11: もし仮に「あの十二部族は指差し為さるしかつ心安い」ということは間違っているなら「それは指差し為さらない」ということは正しい; fact19 -> int12: もし「あの十二部族は定義付けない」ということは真実であるとすれば「指差し為さるししかも心安い」ということは成り立たない;
$facts$ = fact1: もしあの有料メディアが論考するし加えてスキー場だとすればあの慰安婦問題は指差し為さらない fact2: もしあの十二部族が指差し為さるということはないとするとその慰安婦問題は論考するしおまけにスキー場だ fact3: その慰安婦問題は論考するなら「あのプレハブ小屋は論考する」ということは本当である fact4: 仮に何かは定義付けないとすると陥り易い fact5: もし「ある物は指差し為さるしそれに心安い」ということは誤りならば「それは指差し為さるということはない」ということは本当である fact6: なにかは定義付けないとすると「それは指差し為さるしまたそれは心安い」ということは間違っている fact7: もしもあのプレハブ小屋が証券業協会だけどそれが陥り易くないとすればこの血縁関係は陥り易いということはない fact8: 「激しい」ものはある fact9: 仮に「あのプレハブ小屋は証券業協会だということはないしスキー場でない」ということは間違いだとするとあの有料メディアは論考しない fact10: もし仮に「あの有料メディアはスキー場でない」ということは成り立つとしたらそれは指差し為さる fact11: もし仮にあのプレハブ小屋は激しくないならば「あの有料メディアは激しくなくてしかもスキー場でない」ということは成り立たない fact12: あの有料メディアは激しくておまけにスキー場だ fact13: もし仮に「論考しない」ものはあるとすると「あのプレハブ小屋は証券業協会だ」ということは確かである fact14: もし仮にその慰安婦問題は指差し為さらないとすれば「あの十二部族は指差し為さらなくてしかも心安くない」ということは成り立たない fact15: もしも「あの十二部族は指差し為さらないし心安くない」ということは成り立たないとしたらこの血縁関係は定義付けない fact16: あのプレハブ小屋は証券業協会でない fact17: もしも「「その出版業は激しくないがしかしそれはダブルである」ということは成り立たない」ということは本当だとするとあの十二部族は定義付けない fact18: そのトリグリセリドが追い始めるしその上それは激しい ; $hypothesis$ = 「この血縁関係は陥り易い」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの有料メディアは論考しない; assump1 -> int1: 何らかのものは論考しない; int1 & fact13 -> int2: あのプレハブ小屋は証券業協会である; int2 & fact16 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの有料メディアは論考する; fact12 -> int5: あの有料メディアはスキー場である; int4 & int5 -> int6: あの有料メディアは論考するしスキー場だ; int6 & fact1 -> int7: その慰安婦問題は指差し為さらない; int7 & fact14 -> int8: 「あの十二部族は指差し為さらなくて更に心安くない」ということは成り立たない; int8 & fact15 -> int9: この血縁関係は定義付けない; fact4 -> int10: もし仮に「この血縁関係は定義付けるということはない」ということは事実だとしたら「それは陥り易い」ということは成り立つ; int9 & int10 -> hypothesis; __PROVED__
事実1: もしあの有料メディアが論考するし加えてスキー場だとすればあの慰安婦問題は指差し為さらない
事実2: もしあの十二部族が指差し為さるということはないとするとその慰安婦問題は論考するしおまけにスキー場だ
事実3: その慰安婦問題は論考するなら「あのプレハブ小屋は論考する」ということは本当である
事実4: 仮に何かは定義付けないとすると陥り易い
事実5: もし「ある物は指差し為さるしそれに心安い」ということは誤りならば「それは指差し為さるということはない」ということは本当である
事実6: なにかは定義付けないとすると「それは指差し為さるしまたそれは心安い」ということは間違っている
事実7: もしもあのプレハブ小屋が証券業協会だけどそれが陥り易くないとすればこの血縁関係は陥り易いということはない
事実8: 「激しい」ものはある
事実9: 仮に「あのプレハブ小屋は証券業協会だということはないしスキー場でない」ということは間違いだとするとあの有料メディアは論考しない
事実10: もし仮に「あの有料メディアはスキー場でない」ということは成り立つとしたらそれは指差し為さる
事実11: もし仮にあのプレハブ小屋は激しくないならば「あの有料メディアは激しくなくてしかもスキー場でない」ということは成り立たない
事実12: あの有料メディアは激しくておまけにスキー場だ
事実13: もし仮に「論考しない」ものはあるとすると「あのプレハブ小屋は証券業協会だ」ということは確かである
事実14: もし仮にその慰安婦問題は指差し為さらないとすれば「あの十二部族は指差し為さらなくてしかも心安くない」ということは成り立たない
事実15: もしも「あの十二部族は指差し為さらないし心安くない」ということは成り立たないとしたらこの血縁関係は定義付けない
事実16: あのプレハブ小屋は証券業協会でない
事実17: もしも「「その出版業は激しくないがしかしそれはダブルである」ということは成り立たない」ということは本当だとするとあの十二部族は定義付けない
事実18: そのトリグリセリドが追い始めるしその上それは激しい

仮説: 「この血縁関係は陥り易い」ということは正しい
1. 仮定1: 以下のように仮定する。あの有料メディアは論考しない
2. 仮定1から、推論1: "何らかのものは論考しない"が導かれる
3. 推論1と事実13から、推論2: "あのプレハブ小屋は証券業協会である"が導かれる
4. 推論2と事実16から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの有料メディアは論考する"が導かれる
6. 事実12から、推論5: "あの有料メディアはスキー場である"が導かれる
7. 推論4と推論5から、推論6: "あの有料メディアは論考するしスキー場だ"が導かれる
8. 推論6と事実1から、推論7: "その慰安婦問題は指差し為さらない"が導かれる
9. 推論7と事実14から、推論8: "「あの十二部族は指差し為さらなくて更に心安くない」ということは成り立たない"が導かれる
10. 推論8と事実15から、推論9: "この血縁関係は定義付けない"が導かれる
11. 事実4から、推論10: "もし仮に「この血縁関係は定義付けるということはない」ということは事実だとしたら「それは陥り易い」ということは成り立つ"が導かれる
12. 推論9と推論10から、仮説が導かれる

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