そのワードローブは水臭くない
fact1: もし仮になにかは門付けするとしたらそれは等しけどアテネオリンピックでない fact2: そのワードローブはサバイバルでない fact3: もしもそのワードローブが懐かしということはないならばそれは外底だし門付けする fact4: あらゆるものは腕骨でなくて加えてそれはサバイバルでない fact5: もしなにがしかの物はアテネオリンピックであるとすれば水臭い fact6: そのワードローブは分有するがしかしそれは懐かしない fact7: 「そのワードローブは腕骨でないがサバイバルだ」ということは成り立たない fact8: 「水臭い物はし難い」ということは成り立つ fact9: もしもそのワードローブは水臭いならば「腕骨でなくてその上サバイバルでない」ということは嘘だ
void -> assump1: 以下のように仮定する。そのワードローブは水臭い; fact9 & assump1 -> int1: 「「そのワードローブは腕骨であるということはなくてそれにサバイバルでない」ということは成り立つ」ということは偽だ; fact4 -> int2: そのワードローブは腕骨であるということはないしまたサバイバルでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact9 & assump1 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); fact4 -> int2: (¬{AA}{a} & ¬{AB}{a}); int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの此れ等其々はし難い
fact13 -> int4: もしあの此れ等其々が水臭いならばそれはし難い; fact10 -> int5: もしもそのワードローブが門付けすればそれは等ししおまけにアテネオリンピックでない; fact11 -> int6: 「そのワードローブは懐かしない」ということは成り立つ; fact12 & int6 -> int7: 「そのワードローブは外底で門付けする」ということは成り立つ; int7 -> int8: そのワードローブは門付けする; int5 & int8 -> int9: そのワードローブは等しけれどアテネオリンピックでない; int9 -> int10: 「等しがしかしアテネオリンピックでない」物はある;
$facts$ = fact1: もし仮になにかは門付けするとしたらそれは等しけどアテネオリンピックでない fact2: そのワードローブはサバイバルでない fact3: もしもそのワードローブが懐かしということはないならばそれは外底だし門付けする fact4: あらゆるものは腕骨でなくて加えてそれはサバイバルでない fact5: もしなにがしかの物はアテネオリンピックであるとすれば水臭い fact6: そのワードローブは分有するがしかしそれは懐かしない fact7: 「そのワードローブは腕骨でないがサバイバルだ」ということは成り立たない fact8: 「水臭い物はし難い」ということは成り立つ fact9: もしもそのワードローブは水臭いならば「腕骨でなくてその上サバイバルでない」ということは嘘だ ; $hypothesis$ = そのワードローブは水臭くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのワードローブは水臭い; fact9 & assump1 -> int1: 「「そのワードローブは腕骨であるということはなくてそれにサバイバルでない」ということは成り立つ」ということは偽だ; fact4 -> int2: そのワードローブは腕骨であるということはないしまたサバイバルでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮になにかは門付けするとしたらそれは等しけどアテネオリンピックでない
事実2: そのワードローブはサバイバルでない
事実3: もしもそのワードローブが懐かしということはないならばそれは外底だし門付けする
事実4: あらゆるものは腕骨でなくて加えてそれはサバイバルでない
事実5: もしなにがしかの物はアテネオリンピックであるとすれば水臭い
事実6: そのワードローブは分有するがしかしそれは懐かしない
事実7: 「そのワードローブは腕骨でないがサバイバルだ」ということは成り立たない
事実8: 「水臭い物はし難い」ということは成り立つ
事実9: もしもそのワードローブは水臭いならば「腕骨でなくてその上サバイバルでない」ということは嘘だ

仮説: そのワードローブは水臭くない
1. 仮定1: 以下のように仮定する。そのワードローブは水臭い
2. 事実9と仮定1から、推論1: "「「そのワードローブは腕骨であるということはなくてそれにサバイバルでない」ということは成り立つ」ということは偽だ"が導かれる
3. 事実4から、推論2: "そのワードローブは腕骨であるということはないしまたサバイバルでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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