あのエゾ狼は心深くなくて希望日でない
fact1: もしもあの初志がしつっこいならば切り離す fact2: もし「とあるものはたわいなくないがしかしそれは急拡大する」ということは成り立つということはないとするとそれは急拡大しない fact3: あの初志はしつっこい fact4: この金融機関等が討議すらないとしたらその人工物は新しくない fact5: あの神童は心深くなくてそれは急拡大しない fact6: 仮に「その交通安全施設は凄くない」ということは事実だとしたらこの歳入歳出予算は凄くない fact7: もしもあの初志は切り離せば「思しいしその上それは放逐しない」ということは確かでない fact8: もしこの金融機関等が討議すとするとあのエゾ狼は討議す fact9: もし何かは急拡大しないししかもそれがたわいなくないとするとこの金融機関等は討議すらない fact10: もし仮に「急拡大するがたわいなくない」ものがあるならこの金融機関等は討議すらない fact11: もし仮にあるものは討議すなら「それはたわいなくないがしかし急拡大する」ということは誤っている fact12: もしもこの歳入歳出予算が凄くないとするとあの固定範囲は同座するし更に行き難い fact13: もしその人工物が新しくないとするとあのエゾ狼は新しいということはないが玉砕する fact14: もし仮にあのエゾ狼が心深くないとするとそれは新しくないしさらにたわいなくない fact15: 惨めったらしくない物は凄くないかもしくは御忙しくないかどちらもである fact16: その交通安全施設が御忙しいということはないとするとこの歳入歳出予算は凄いということはない fact17: 新しくないものは心深くないししかも希望日でない fact18: 仮にその人工物が玉砕しなくてかつ新しくないとしたらこの金融機関等は新しい fact19: もしもとある物が新しくないならそれは希望日でない fact20: 何らかの物が新しいならばそれは討議す fact21: 仮に「あの初志は思しい一方で放逐するということはない」ということは間違っているとすればその交通安全施設は惨めったらしくない fact22: すべては急拡大しないしその上それはたわいなくない fact23: あらゆるものは妬ましくない
fact22 -> int1: あの神童は急拡大しないしたわいないということはない; int1 -> int2: なんらかのものは急拡大するということはないしたわいなくない; int2 & fact9 -> int3: この金融機関等は討議すらない; int3 & fact4 -> int4: その人工物は新しくない; int4 & fact13 -> int5: あのエゾ狼は新しくない一方で玉砕する; int5 -> int6: あのエゾ狼は新しくない; fact17 -> int7: もしもあのエゾ狼が新しくないならそれは心深くなくて更に希望日でない; int6 & int7 -> hypothesis;
「あのエゾ狼は心深くなくてかつそれは希望日でない」ということは成り立たない
fact30 -> int8: 「あのエゾ狼はたわいなくないけれど急拡大する」ということは成り立たないとするとそれは急拡大しない; fact36 -> int9: もしもあのエゾ狼は討議すなら「それはたわいなくないけれど急拡大する」ということは成り立たない; fact25 -> int10: この金融機関等が新しいならそれは討議す; fact24 -> int11: その交通安全施設が惨めったらしくないならそれは凄くないかもしくは御忙しくない; fact32 & fact28 -> int12: あの初志は切り離す; fact27 & int12 -> int13: 「あの初志は思しいがしかし放逐しない」ということは成り立つということはない; fact35 & int13 -> int14: その交通安全施設は惨めったらしくない; int11 & int14 -> int15: その交通安全施設は凄くないかもしくはそれは御忙しくない; int15 & fact34 & fact31 -> int16: この歳入歳出予算は凄くない; fact29 & int16 -> int17: あの固定範囲は同座するしおまけに行き難い; int17 -> int18: あの固定範囲は行き難い; int18 -> int19: 「行き難い」物はある;
$facts$ = fact1: もしもあの初志がしつっこいならば切り離す fact2: もし「とあるものはたわいなくないがしかしそれは急拡大する」ということは成り立つということはないとするとそれは急拡大しない fact3: あの初志はしつっこい fact4: この金融機関等が討議すらないとしたらその人工物は新しくない fact5: あの神童は心深くなくてそれは急拡大しない fact6: 仮に「その交通安全施設は凄くない」ということは事実だとしたらこの歳入歳出予算は凄くない fact7: もしもあの初志は切り離せば「思しいしその上それは放逐しない」ということは確かでない fact8: もしこの金融機関等が討議すとするとあのエゾ狼は討議す fact9: もし何かは急拡大しないししかもそれがたわいなくないとするとこの金融機関等は討議すらない fact10: もし仮に「急拡大するがたわいなくない」ものがあるならこの金融機関等は討議すらない fact11: もし仮にあるものは討議すなら「それはたわいなくないがしかし急拡大する」ということは誤っている fact12: もしもこの歳入歳出予算が凄くないとするとあの固定範囲は同座するし更に行き難い fact13: もしその人工物が新しくないとするとあのエゾ狼は新しいということはないが玉砕する fact14: もし仮にあのエゾ狼が心深くないとするとそれは新しくないしさらにたわいなくない fact15: 惨めったらしくない物は凄くないかもしくは御忙しくないかどちらもである fact16: その交通安全施設が御忙しいということはないとするとこの歳入歳出予算は凄いということはない fact17: 新しくないものは心深くないししかも希望日でない fact18: 仮にその人工物が玉砕しなくてかつ新しくないとしたらこの金融機関等は新しい fact19: もしもとある物が新しくないならそれは希望日でない fact20: 何らかの物が新しいならばそれは討議す fact21: 仮に「あの初志は思しい一方で放逐するということはない」ということは間違っているとすればその交通安全施設は惨めったらしくない fact22: すべては急拡大しないしその上それはたわいなくない fact23: あらゆるものは妬ましくない ; $hypothesis$ = あのエゾ狼は心深くなくて希望日でない ; $proof$ = 
fact22 -> int1: あの神童は急拡大しないしたわいないということはない; int1 -> int2: なんらかのものは急拡大するということはないしたわいなくない; int2 & fact9 -> int3: この金融機関等は討議すらない; int3 & fact4 -> int4: その人工物は新しくない; int4 & fact13 -> int5: あのエゾ狼は新しくない一方で玉砕する; int5 -> int6: あのエゾ狼は新しくない; fact17 -> int7: もしもあのエゾ狼が新しくないならそれは心深くなくて更に希望日でない; int6 & int7 -> hypothesis; __PROVED__
事実1: もしもあの初志がしつっこいならば切り離す
事実2: もし「とあるものはたわいなくないがしかしそれは急拡大する」ということは成り立つということはないとするとそれは急拡大しない
事実3: あの初志はしつっこい
事実4: この金融機関等が討議すらないとしたらその人工物は新しくない
事実5: あの神童は心深くなくてそれは急拡大しない
事実6: 仮に「その交通安全施設は凄くない」ということは事実だとしたらこの歳入歳出予算は凄くない
事実7: もしもあの初志は切り離せば「思しいしその上それは放逐しない」ということは確かでない
事実8: もしこの金融機関等が討議すとするとあのエゾ狼は討議す
事実9: もし何かは急拡大しないししかもそれがたわいなくないとするとこの金融機関等は討議すらない
事実10: もし仮に「急拡大するがたわいなくない」ものがあるならこの金融機関等は討議すらない
事実11: もし仮にあるものは討議すなら「それはたわいなくないがしかし急拡大する」ということは誤っている
事実12: もしもこの歳入歳出予算が凄くないとするとあの固定範囲は同座するし更に行き難い
事実13: もしその人工物が新しくないとするとあのエゾ狼は新しいということはないが玉砕する
事実14: もし仮にあのエゾ狼が心深くないとするとそれは新しくないしさらにたわいなくない
事実15: 惨めったらしくない物は凄くないかもしくは御忙しくないかどちらもである
事実16: その交通安全施設が御忙しいということはないとするとこの歳入歳出予算は凄いということはない
事実17: 新しくないものは心深くないししかも希望日でない
事実18: 仮にその人工物が玉砕しなくてかつ新しくないとしたらこの金融機関等は新しい
事実19: もしもとある物が新しくないならそれは希望日でない
事実20: 何らかの物が新しいならばそれは討議す
事実21: 仮に「あの初志は思しい一方で放逐するということはない」ということは間違っているとすればその交通安全施設は惨めったらしくない
事実22: すべては急拡大しないしその上それはたわいなくない
事実23: あらゆるものは妬ましくない

仮説: あのエゾ狼は心深くなくて希望日でない
1. 事実22から、推論1: "あの神童は急拡大しないしたわいないということはない"が導かれる
2. 推論1から、推論2: "なんらかのものは急拡大するということはないしたわいなくない"が導かれる
3. 推論2と事実9から、推論3: "この金融機関等は討議すらない"が導かれる
4. 推論3と事実4から、推論4: "その人工物は新しくない"が導かれる
5. 推論4と事実13から、推論5: "あのエゾ狼は新しくない一方で玉砕する"が導かれる
6. 推論5から、推論6: "あのエゾ狼は新しくない"が導かれる
7. 事実17から、推論7: "もしもあのエゾ狼が新しくないならそれは心深くなくて更に希望日でない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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