もしもあの予想為替レートは超音波だとしたら「あの交通行動は現われ易くないし真っ黒いということはない」ということは成り立たない
fact1: もしもあの予想為替レートは超音波なら「あの交通行動は現われ易くないけど真っ黒い」ということは間違っている fact2: もしもどかしい物が防水だとしたらそれは超音波でない fact3: あの予想為替レートは防水でない fact4: あの交通行動は現われ易くない fact5: もしもあの予想為替レートは縦横比であるということはないならばそれは防水でない fact6: 「あの交通行動は現われ易いが真っ黒くない」ということは成り立つということはない fact7: 来辛くない物は作成モードだ fact8: もし「あの交通行動はめんど臭いかそれは退陣だ」ということは嘘であるなら超音波でない fact9: もしなにかは縦横比でないとすればそれは防水でない fact10: もし仮にあの予想為替レートはもどかしいしまた防水であるとしたら超音波でない fact11: もしもあの予想為替レートは超音波だとしたら「あの交通行動は現われ易いけど真っ黒くない」ということは偽である fact12: もし仮にあの交通行動が現われ易くないしまた真っ黒くないとすればあの予想為替レートは縦横比でない fact13: 仮にもどかしい物は防水でないとすると超音波である fact14: もしもそのブランド職業が糞食らわないとすればそれは当選者である fact15: あの予想為替レートはもどかしい一方で防水でないならばそれは超音波である fact16: もしもあの予想為替レートが超音波だとするとあの交通行動は現われ易くないしそれは真っ黒くない fact17: もし仮にあの交通行動は現われ易いがしかし真っ黒くないとしたら「あの予想為替レートは縦横比でない」ということは成り立つ fact18: もしもあの予想為替レートはもどかしいけれど現われ易くないならば縦横比でない fact19: もしももどかしいものは防水でないとすると超音波でない fact20: 仮にこの身分外身分がもどかしくないとしたらオールド・エコノミーでないしまた真っ黒くない fact21: もしとあるものが縦横比でないならばもどかしいし防水でない fact22: 仮に「あの交通行動はもどかしい」ということは真実であるならあの予想為替レートは超音波でないしそれは真っ黒くない
void -> assump2: 以下のように仮定する。あの交通行動は現われ易くないしそれに真っ黒くない; fact12 & assump2 -> int1: あの予想為替レートは縦横比でない; fact21 -> int2: もしもあの予想為替レートは縦横比でないとしたらそれはもどかしい一方で防水でない; int1 & int2 -> int3: あの予想為替レートはもどかしいがしかし防水でない; fact19 -> int4: 仮にあの予想為替レートがもどかしいが防水でないなら超音波だということはない; int3 & int4 -> int5: あの予想為替レートは超音波でない; void -> assump1: 以下のように仮定する。あの予想為替レートは超音波だ; int5 & assump1 -> int6: これは矛盾である; [assump2] & int6 -> int7: 「あの交通行動は現われ易くないしそれに真っ黒いということはない」ということは間違いである; [assump1] & int7 -> hypothesis;
この身分外身分はオールド・エコノミーでないしそれは真っ黒くない
$facts$ = fact1: もしもあの予想為替レートは超音波なら「あの交通行動は現われ易くないけど真っ黒い」ということは間違っている fact2: もしもどかしい物が防水だとしたらそれは超音波でない fact3: あの予想為替レートは防水でない fact4: あの交通行動は現われ易くない fact5: もしもあの予想為替レートは縦横比であるということはないならばそれは防水でない fact6: 「あの交通行動は現われ易いが真っ黒くない」ということは成り立つということはない fact7: 来辛くない物は作成モードだ fact8: もし「あの交通行動はめんど臭いかそれは退陣だ」ということは嘘であるなら超音波でない fact9: もしなにかは縦横比でないとすればそれは防水でない fact10: もし仮にあの予想為替レートはもどかしいしまた防水であるとしたら超音波でない fact11: もしもあの予想為替レートは超音波だとしたら「あの交通行動は現われ易いけど真っ黒くない」ということは偽である fact12: もし仮にあの交通行動が現われ易くないしまた真っ黒くないとすればあの予想為替レートは縦横比でない fact13: 仮にもどかしい物は防水でないとすると超音波である fact14: もしもそのブランド職業が糞食らわないとすればそれは当選者である fact15: あの予想為替レートはもどかしい一方で防水でないならばそれは超音波である fact16: もしもあの予想為替レートが超音波だとするとあの交通行動は現われ易くないしそれは真っ黒くない fact17: もし仮にあの交通行動は現われ易いがしかし真っ黒くないとしたら「あの予想為替レートは縦横比でない」ということは成り立つ fact18: もしもあの予想為替レートはもどかしいけれど現われ易くないならば縦横比でない fact19: もしももどかしいものは防水でないとすると超音波でない fact20: 仮にこの身分外身分がもどかしくないとしたらオールド・エコノミーでないしまた真っ黒くない fact21: もしとあるものが縦横比でないならばもどかしいし防水でない fact22: 仮に「あの交通行動はもどかしい」ということは真実であるならあの予想為替レートは超音波でないしそれは真っ黒くない ; $hypothesis$ = もしもあの予想為替レートは超音波だとしたら「あの交通行動は現われ易くないし真っ黒いということはない」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。あの交通行動は現われ易くないしそれに真っ黒くない; fact12 & assump2 -> int1: あの予想為替レートは縦横比でない; fact21 -> int2: もしもあの予想為替レートは縦横比でないとしたらそれはもどかしい一方で防水でない; int1 & int2 -> int3: あの予想為替レートはもどかしいがしかし防水でない; fact19 -> int4: 仮にあの予想為替レートがもどかしいが防水でないなら超音波だということはない; int3 & int4 -> int5: あの予想為替レートは超音波でない; void -> assump1: 以下のように仮定する。あの予想為替レートは超音波だ; int5 & assump1 -> int6: これは矛盾である; [assump2] & int6 -> int7: 「あの交通行動は現われ易くないしそれに真っ黒いということはない」ということは間違いである; [assump1] & 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: 仮に「あの交通行動はもどかしい」ということは真実であるならあの予想為替レートは超音波でないしそれは真っ黒くない

仮説: もしもあの予想為替レートは超音波だとしたら「あの交通行動は現われ易くないし真っ黒いということはない」ということは成り立たない
1. 仮定2: 以下のように仮定する。あの交通行動は現われ易くないしそれに真っ黒くない
2. 事実12と仮定2から、推論1: "あの予想為替レートは縦横比でない"が導かれる
3. 事実21から、推論2: "もしもあの予想為替レートは縦横比でないとしたらそれはもどかしい一方で防水でない"が導かれる
4. 推論1と推論2から、推論3: "あの予想為替レートはもどかしいがしかし防水でない"が導かれる
5. 事実19から、推論4: "仮にあの予想為替レートがもどかしいが防水でないなら超音波だということはない"が導かれる
6. 推論3と推論4から、推論5: "あの予想為替レートは超音波でない"が導かれる
7. 仮定1: 以下のように仮定する。あの予想為替レートは超音波だ
8. 推論5と仮定1から、推論6: "これは矛盾である"が導かれる
9. [仮定2]と推論6から、推論7: "「あの交通行動は現われ易くないしそれに真っ黒いということはない」ということは間違いである"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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