その空間統合は由々しない
fact1: もし「とあるものは誤り無い」ということは事実であるとするとそれは由々し fact2: もしある物が珍しいとすればそれは誤り無い fact3: 「「下向しないしさらに帰結だ」ということは誤りである」物はある fact4: なんらかの物は伯父さんでない一方で読み易い fact5: もしもなにかは冷え過ぎないならば「それは読み易くて珍しかない」ということは誤っている fact6: 「この野球帽は冷え過ぎるということはないしそれに怪しない」ということは偽である fact7: 「この産業廃棄物排出者責任保険は伯父さんであるし読み易い」ということは成り立たない fact8: 読み易くないものは誤り無いし珍しい fact9: もしもこの野球帽が読み易いということはないしそれが伯父さんでないならその空間統合は読み易くない fact10: もしも何かはクーリングダウンだとするとざわめく fact11: 由々しか誤り無いものは伯父さんでない fact12: もし仮に「「伯父さんでなくて読み易い」ということは成り立たない」ものがあるとしたらこの野球帽は珍しかない fact13: その空間統合は伯父さんでない fact14: 「「伯父さんで読み易い」ということは嘘である」物はある fact15: この野球帽は切り取る fact16: もしもある物が伯父さんであるならばこの野球帽は珍しかない fact17: 「この産業廃棄物排出者責任保険は伯父さんでないがそれは読み易い」ということは嘘だ fact18: もし何かは史上初なら顕彰する fact19: もし仮に「「なんらかの物は読み易いがしかし珍しいということはない」ということは確かだ」ということは本当でないならば珍しい fact20: もし仮に何かは誤り無いならばそれは珍しい fact21: もしもその空間統合が由々しならこの野球帽は誤り無い
void -> assump1: 以下のように仮定する。その空間統合は由々し; fact21 & assump1 -> int1: この野球帽は誤り無い; fact20 -> int2: もし仮にこの野球帽が誤り無いとしたら珍しい; int1 & int2 -> int3: この野球帽は珍しい; fact17 -> int4: 「「伯父さんでないししかも読み易い」ということは成り立たない」ものはある; int4 & fact12 -> int5: この野球帽は珍しかない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
その空間統合は由々し
fact24 -> int7: 仮にその空間統合が誤り無いとすればそれは由々し; fact22 -> int8: もしもその空間統合が読み易いということはないとすればそれは誤り無いし更にそれは珍しい;
$facts$ = fact1: もし「とあるものは誤り無い」ということは事実であるとするとそれは由々し fact2: もしある物が珍しいとすればそれは誤り無い fact3: 「「下向しないしさらに帰結だ」ということは誤りである」物はある fact4: なんらかの物は伯父さんでない一方で読み易い fact5: もしもなにかは冷え過ぎないならば「それは読み易くて珍しかない」ということは誤っている fact6: 「この野球帽は冷え過ぎるということはないしそれに怪しない」ということは偽である fact7: 「この産業廃棄物排出者責任保険は伯父さんであるし読み易い」ということは成り立たない fact8: 読み易くないものは誤り無いし珍しい fact9: もしもこの野球帽が読み易いということはないしそれが伯父さんでないならその空間統合は読み易くない fact10: もしも何かはクーリングダウンだとするとざわめく fact11: 由々しか誤り無いものは伯父さんでない fact12: もし仮に「「伯父さんでなくて読み易い」ということは成り立たない」ものがあるとしたらこの野球帽は珍しかない fact13: その空間統合は伯父さんでない fact14: 「「伯父さんで読み易い」ということは嘘である」物はある fact15: この野球帽は切り取る fact16: もしもある物が伯父さんであるならばこの野球帽は珍しかない fact17: 「この産業廃棄物排出者責任保険は伯父さんでないがそれは読み易い」ということは嘘だ fact18: もし何かは史上初なら顕彰する fact19: もし仮に「「なんらかの物は読み易いがしかし珍しいということはない」ということは確かだ」ということは本当でないならば珍しい fact20: もし仮に何かは誤り無いならばそれは珍しい fact21: もしもその空間統合が由々しならこの野球帽は誤り無い ; $hypothesis$ = その空間統合は由々しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その空間統合は由々し; fact21 & assump1 -> int1: この野球帽は誤り無い; fact20 -> int2: もし仮にこの野球帽が誤り無いとしたら珍しい; int1 & int2 -> int3: この野球帽は珍しい; fact17 -> int4: 「「伯父さんでないししかも読み易い」ということは成り立たない」ものはある; int4 & fact12 -> int5: この野球帽は珍しかない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし「とあるものは誤り無い」ということは事実であるとするとそれは由々し
事実2: もしある物が珍しいとすればそれは誤り無い
事実3: 「「下向しないしさらに帰結だ」ということは誤りである」物はある
事実4: なんらかの物は伯父さんでない一方で読み易い
事実5: もしもなにかは冷え過ぎないならば「それは読み易くて珍しかない」ということは誤っている
事実6: 「この野球帽は冷え過ぎるということはないしそれに怪しない」ということは偽である
事実7: 「この産業廃棄物排出者責任保険は伯父さんであるし読み易い」ということは成り立たない
事実8: 読み易くないものは誤り無いし珍しい
事実9: もしもこの野球帽が読み易いということはないしそれが伯父さんでないならその空間統合は読み易くない
事実10: もしも何かはクーリングダウンだとするとざわめく
事実11: 由々しか誤り無いものは伯父さんでない
事実12: もし仮に「「伯父さんでなくて読み易い」ということは成り立たない」ものがあるとしたらこの野球帽は珍しかない
事実13: その空間統合は伯父さんでない
事実14: 「「伯父さんで読み易い」ということは嘘である」物はある
事実15: この野球帽は切り取る
事実16: もしもある物が伯父さんであるならばこの野球帽は珍しかない
事実17: 「この産業廃棄物排出者責任保険は伯父さんでないがそれは読み易い」ということは嘘だ
事実18: もし何かは史上初なら顕彰する
事実19: もし仮に「「なんらかの物は読み易いがしかし珍しいということはない」ということは確かだ」ということは本当でないならば珍しい
事実20: もし仮に何かは誤り無いならばそれは珍しい
事実21: もしもその空間統合が由々しならこの野球帽は誤り無い

仮説: その空間統合は由々しない
1. 仮定1: 以下のように仮定する。その空間統合は由々し
2. 事実21と仮定1から、推論1: "この野球帽は誤り無い"が導かれる
3. 事実20から、推論2: "もし仮にこの野球帽が誤り無いとしたら珍しい"が導かれる
4. 推論1と推論2から、推論3: "この野球帽は珍しい"が導かれる
5. 事実17から、推論4: "「「伯父さんでないししかも読み易い」ということは成り立たない」ものはある"が導かれる
6. 推論4と事実12から、推論5: "この野球帽は珍しかない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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