あの痴呆恐怖は吊れないけれど亜酸化窒素だ
fact1: もし仮になにがしかのものが育てるとすると諸部族である fact2: 何らかのものは成功度だとすると「吊れないがしかし亜酸化窒素である」ということは正しくない fact3: もしもなにがしかの物が諸部族でないとすれば亜酸化窒素である fact4: なにかは諸部族でないとすると吊れないけど亜酸化窒素である fact5: とあるものは淫虐でないが育てる fact6: 「育てる」物はある fact7: もし仮にこのヒールストーンが諸部族であるならばあの電子顕微鏡観察は諸部族だ fact8: あの痴呆恐怖は諸部族でないとすると亜酸化窒素である fact9: もしあの電子顕微鏡観察がアクセスし易いとするとこのヒールストーンは差し替えるということはない fact10: もし仮に「この見解は成功度でない」ということは成り立つとしたら「「あの電子顕微鏡観察はアクセスし易くないが成功度だ」ということは間違っている」ということは真実である fact11: 「「淫虐でない」ということは正しい」ものはある fact12: もしあの電子顕微鏡観察は諸部族であるとするとそれは覚醒する fact13: もし「あの痴呆恐怖は覚醒するけどそれは郵送しない」ということは事実でないとしたら諸部族だということはない fact14: 「淫虐だし加えて育てる」ものはある fact15: もしあの船倉が郵送しないならこの見解はアクセスし易くないけど差し替える fact16: もし仮にこの見解が成功度であるとするとあの船倉は温水配管だ fact17: 「「あの船倉はアクセスし易いし温水配管である」ということは間違いである」ということは確かだ fact18: その上昇期は淫虐でないならば「このヒールストーンは育てる」ということは偽でない fact19: その上昇期は淫虐でない fact20: もしも「あの電子顕微鏡観察はアクセスし易くないけれど成功度である」ということは成り立たないとしたらこのヒールストーンは差し替えない fact21: もし何かは成功度であるなら「馬鹿でかい一方で育てない」ということは成り立たない fact22: 仮に「淫虐でないがしかし育てる」物があるとするとあの船倉は温水配管でない fact23: このヒールストーンは差し替えないとしたら「あの痴呆恐怖は覚醒するが郵送しない」ということは間違いである fact24: このヒールストーンは覚醒しないがしかし礼儀正しい fact25: この見解がアクセスし易くないが差し替えるならあの痴呆恐怖はアクセスし易くない fact26: もしもあの痴呆恐怖が覚醒しないとすると諸部族でない
void -> assump1: 以下のように仮定する。「この見解は成功度である」ということは真実である; fact16 & assump1 -> int1: あの船倉は温水配管である; fact5 & fact22 -> int2: あの船倉は温水配管でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この見解は成功度でない; int4 & fact10 -> int5: 「あの電子顕微鏡観察はアクセスし易いということはないがしかし成功度である」ということは間違いだ; int5 & fact20 -> int6: このヒールストーンは差し替えない; int6 & fact23 -> int7: 「あの痴呆恐怖は覚醒するけれど郵送しない」ということは偽である; int7 & fact13 -> int8: あの痴呆恐怖は諸部族であるということはない; fact4 -> int9: 仮にあの痴呆恐怖が諸部族でないならそれは吊れるということはないしそれは亜酸化窒素である; int8 & int9 -> hypothesis;
「このヒールストーンは馬鹿でかい一方でそれは育てない」ということは成り立たない
fact27 -> int10: このヒールストーンは成功度であるとすれば「それは馬鹿でかいが育てない」ということは嘘である;
$facts$ = fact1: もし仮になにがしかのものが育てるとすると諸部族である fact2: 何らかのものは成功度だとすると「吊れないがしかし亜酸化窒素である」ということは正しくない fact3: もしもなにがしかの物が諸部族でないとすれば亜酸化窒素である fact4: なにかは諸部族でないとすると吊れないけど亜酸化窒素である fact5: とあるものは淫虐でないが育てる fact6: 「育てる」物はある fact7: もし仮にこのヒールストーンが諸部族であるならばあの電子顕微鏡観察は諸部族だ fact8: あの痴呆恐怖は諸部族でないとすると亜酸化窒素である fact9: もしあの電子顕微鏡観察がアクセスし易いとするとこのヒールストーンは差し替えるということはない fact10: もし仮に「この見解は成功度でない」ということは成り立つとしたら「「あの電子顕微鏡観察はアクセスし易くないが成功度だ」ということは間違っている」ということは真実である fact11: 「「淫虐でない」ということは正しい」ものはある fact12: もしあの電子顕微鏡観察は諸部族であるとするとそれは覚醒する fact13: もし「あの痴呆恐怖は覚醒するけどそれは郵送しない」ということは事実でないとしたら諸部族だということはない fact14: 「淫虐だし加えて育てる」ものはある fact15: もしあの船倉が郵送しないならこの見解はアクセスし易くないけど差し替える fact16: もし仮にこの見解が成功度であるとするとあの船倉は温水配管だ fact17: 「「あの船倉はアクセスし易いし温水配管である」ということは間違いである」ということは確かだ fact18: その上昇期は淫虐でないならば「このヒールストーンは育てる」ということは偽でない fact19: その上昇期は淫虐でない fact20: もしも「あの電子顕微鏡観察はアクセスし易くないけれど成功度である」ということは成り立たないとしたらこのヒールストーンは差し替えない fact21: もし何かは成功度であるなら「馬鹿でかい一方で育てない」ということは成り立たない fact22: 仮に「淫虐でないがしかし育てる」物があるとするとあの船倉は温水配管でない fact23: このヒールストーンは差し替えないとしたら「あの痴呆恐怖は覚醒するが郵送しない」ということは間違いである fact24: このヒールストーンは覚醒しないがしかし礼儀正しい fact25: この見解がアクセスし易くないが差し替えるならあの痴呆恐怖はアクセスし易くない fact26: もしもあの痴呆恐怖が覚醒しないとすると諸部族でない ; $hypothesis$ = あの痴呆恐怖は吊れないけれど亜酸化窒素だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この見解は成功度である」ということは真実である; fact16 & assump1 -> int1: あの船倉は温水配管である; fact5 & fact22 -> int2: あの船倉は温水配管でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この見解は成功度でない; int4 & fact10 -> int5: 「あの電子顕微鏡観察はアクセスし易いということはないがしかし成功度である」ということは間違いだ; int5 & fact20 -> int6: このヒールストーンは差し替えない; int6 & fact23 -> int7: 「あの痴呆恐怖は覚醒するけれど郵送しない」ということは偽である; int7 & fact13 -> int8: あの痴呆恐怖は諸部族であるということはない; fact4 -> int9: 仮にあの痴呆恐怖が諸部族でないならそれは吊れるということはないしそれは亜酸化窒素である; int8 & int9 -> 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: このヒールストーンは差し替えないとしたら「あの痴呆恐怖は覚醒するが郵送しない」ということは間違いである
事実24: このヒールストーンは覚醒しないがしかし礼儀正しい
事実25: この見解がアクセスし易くないが差し替えるならあの痴呆恐怖はアクセスし易くない
事実26: もしもあの痴呆恐怖が覚醒しないとすると諸部族でない

仮説: あの痴呆恐怖は吊れないけれど亜酸化窒素だ
1. 仮定1: 以下のように仮定する。「この見解は成功度である」ということは真実である
2. 事実16と仮定1から、推論1: "あの船倉は温水配管である"が導かれる
3. 事実5と事実22から、推論2: "あの船倉は温水配管でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この見解は成功度でない"が導かれる
6. 推論4と事実10から、推論5: "「あの電子顕微鏡観察はアクセスし易いということはないがしかし成功度である」ということは間違いだ"が導かれる
7. 推論5と事実20から、推論6: "このヒールストーンは差し替えない"が導かれる
8. 推論6と事実23から、推論7: "「あの痴呆恐怖は覚醒するけれど郵送しない」ということは偽である"が導かれる
9. 推論7と事実13から、推論8: "あの痴呆恐怖は諸部族であるということはない"が導かれる
10. 事実4から、推論9: "仮にあの痴呆恐怖が諸部族でないならそれは吊れるということはないしそれは亜酸化窒素である"が導かれる
11. 推論8と推論9から、仮説が導かれる

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