あの水洗は使い易い
fact1: もしもあの財産処分は各臓器であるなら「この小選挙区は積極的平和でない」ということは本当である fact2: 「あの財産処分は各臓器であるしまた脳メカニズムだ」ということは偽だ fact3: もし「この防水シートは持ち得るしかつ繁殖し易い」ということは誤りであるならばあの連続音は各臓器でない fact4: もしもこの連続音は各臓器でないとすれば「「あの財産処分は各臓器だということはないがしかし脳メカニズムである」ということは誤りだ」ということは本当である fact5: もし「この小選挙区は積極的平和でない」ということは真実であるならばあの水洗は知覚探索する fact6: あの水洗は知覚探索する fact7: この小選挙区は各臓器でない fact8: 「「あの財産処分は各臓器でないがしかし脳メカニズムである」ということは誤りである」ということは正しいとしたらこの小選挙区は積極的平和でない fact9: それは持ち得るしおまけに繁殖し易いというものはない fact10: もし仮にこの防水シートが繁殖し易くないならばあの連続音は各臓器でない fact11: もし仮にこの連続音が使い易くないならばあの水洗は使い易くない fact12: もしもあの財産処分は積極的平和であるということはないとしたら「この連続音は各臓器でないかもしくは脳メカニズムでないかどちらもだ」ということは正しくない fact13: もしこの小選挙区が積極的平和でないとしたらあの水洗は知覚探索するしそれは使い易い fact14: もし仮になにかは高等文官でないなら「それは知覚探索するが積極的平和でない」ということは間違っている fact15: 「何らかの物は各臓器だということはないかあるいは脳メカニズムでないか両方である」ということは成り立たないならばそれは知覚探索する fact16: もしもこの連続音は各臓器であるということはないとすれば「あの財産処分は各臓器であるしおまけに脳メカニズムだ」ということは偽だ
fact9 -> int1: 「この防水シートは持ち得るし繁殖し易い」ということは嘘だ; int1 & fact3 -> int2: この連続音は各臓器であるということはない; int2 & fact4 -> int3: 「あの財産処分は各臓器でないがしかし脳メカニズムである」ということは嘘だ; int3 & fact8 -> int4: この小選挙区は積極的平和でない; int4 & fact13 -> int5: あの水洗は知覚探索するしまた使い易い; int5 -> hypothesis;
あの水洗は使い易くない
fact17 -> int6: もしこの小選挙区は高等文官でないとしたら「知覚探索するしかつ積極的平和でない」ということは成り立たない;
$facts$ = fact1: もしもあの財産処分は各臓器であるなら「この小選挙区は積極的平和でない」ということは本当である fact2: 「あの財産処分は各臓器であるしまた脳メカニズムだ」ということは偽だ fact3: もし「この防水シートは持ち得るしかつ繁殖し易い」ということは誤りであるならばあの連続音は各臓器でない fact4: もしもこの連続音は各臓器でないとすれば「「あの財産処分は各臓器だということはないがしかし脳メカニズムである」ということは誤りだ」ということは本当である fact5: もし「この小選挙区は積極的平和でない」ということは真実であるならばあの水洗は知覚探索する fact6: あの水洗は知覚探索する fact7: この小選挙区は各臓器でない fact8: 「「あの財産処分は各臓器でないがしかし脳メカニズムである」ということは誤りである」ということは正しいとしたらこの小選挙区は積極的平和でない fact9: それは持ち得るしおまけに繁殖し易いというものはない fact10: もし仮にこの防水シートが繁殖し易くないならばあの連続音は各臓器でない fact11: もし仮にこの連続音が使い易くないならばあの水洗は使い易くない fact12: もしもあの財産処分は積極的平和であるということはないとしたら「この連続音は各臓器でないかもしくは脳メカニズムでないかどちらもだ」ということは正しくない fact13: もしこの小選挙区が積極的平和でないとしたらあの水洗は知覚探索するしそれは使い易い fact14: もし仮になにかは高等文官でないなら「それは知覚探索するが積極的平和でない」ということは間違っている fact15: 「何らかの物は各臓器だということはないかあるいは脳メカニズムでないか両方である」ということは成り立たないならばそれは知覚探索する fact16: もしもこの連続音は各臓器であるということはないとすれば「あの財産処分は各臓器であるしおまけに脳メカニズムだ」ということは偽だ ; $hypothesis$ = あの水洗は使い易い ; $proof$ = 
fact9 -> int1: 「この防水シートは持ち得るし繁殖し易い」ということは嘘だ; int1 & fact3 -> int2: この連続音は各臓器であるということはない; int2 & fact4 -> int3: 「あの財産処分は各臓器でないがしかし脳メカニズムである」ということは嘘だ; int3 & fact8 -> int4: この小選挙区は積極的平和でない; int4 & fact13 -> int5: あの水洗は知覚探索するしまた使い易い; int5 -> hypothesis; __PROVED__
事実1: もしもあの財産処分は各臓器であるなら「この小選挙区は積極的平和でない」ということは本当である
事実2: 「あの財産処分は各臓器であるしまた脳メカニズムだ」ということは偽だ
事実3: もし「この防水シートは持ち得るしかつ繁殖し易い」ということは誤りであるならばあの連続音は各臓器でない
事実4: もしもこの連続音は各臓器でないとすれば「「あの財産処分は各臓器だということはないがしかし脳メカニズムである」ということは誤りだ」ということは本当である
事実5: もし「この小選挙区は積極的平和でない」ということは真実であるならばあの水洗は知覚探索する
事実6: あの水洗は知覚探索する
事実7: この小選挙区は各臓器でない
事実8: 「「あの財産処分は各臓器でないがしかし脳メカニズムである」ということは誤りである」ということは正しいとしたらこの小選挙区は積極的平和でない
事実9: それは持ち得るしおまけに繁殖し易いというものはない
事実10: もし仮にこの防水シートが繁殖し易くないならばあの連続音は各臓器でない
事実11: もし仮にこの連続音が使い易くないならばあの水洗は使い易くない
事実12: もしもあの財産処分は積極的平和であるということはないとしたら「この連続音は各臓器でないかもしくは脳メカニズムでないかどちらもだ」ということは正しくない
事実13: もしこの小選挙区が積極的平和でないとしたらあの水洗は知覚探索するしそれは使い易い
事実14: もし仮になにかは高等文官でないなら「それは知覚探索するが積極的平和でない」ということは間違っている
事実15: 「何らかの物は各臓器だということはないかあるいは脳メカニズムでないか両方である」ということは成り立たないならばそれは知覚探索する
事実16: もしもこの連続音は各臓器であるということはないとすれば「あの財産処分は各臓器であるしおまけに脳メカニズムだ」ということは偽だ

仮説: あの水洗は使い易い
1. 事実9から、推論1: "「この防水シートは持ち得るし繁殖し易い」ということは嘘だ"が導かれる
2. 推論1と事実3から、推論2: "この連続音は各臓器であるということはない"が導かれる
3. 推論2と事実4から、推論3: "「あの財産処分は各臓器でないがしかし脳メカニズムである」ということは嘘だ"が導かれる
4. 推論3と事実8から、推論4: "この小選挙区は積極的平和でない"が導かれる
5. 推論4と事実13から、推論5: "あの水洗は知覚探索するしまた使い易い"が導かれる
6. 推論5から、仮説が導かれる

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