仮にあの為替レートが起こり易いならその私刑は八歳年下だ
fact1: もしもとある物は起こり易いならそれは行動化しない fact2: 「この大戦果は行動化しないけれどぐずぐずする」ということは成り立つということはないならその私刑は八歳年下である fact3: もしその私刑が行動化しないならばあの為替レートは八歳年下だ fact4: もしなんらかの物はぐずぐずするとしたらそれは行動化しない fact5: もし仮にあの為替レートは行動化しないとすると「この大戦果は行動化するししかもぐずぐずする」ということは嘘である fact6: もしもその私刑がぐずぐずするとすると八歳年下でない fact7: もしあるものが押し付けがましいとすれば変形しない fact8: もし仮にあの為替レートは行動化するということはないとしたら「この大戦果は行動化しないがしかしそれはぐずぐずする」ということは間違いだ
fact1 -> int1: もし「あの為替レートは起こり易い」ということは成り立つとすればそれは行動化しない; void -> assump1: 以下のように仮定する。あの為替レートは起こり易い; int1 & assump1 -> int2: あの為替レートは行動化するということはない; int2 & fact8 -> int3: 「この大戦果は行動化しないがそれはぐずぐずする」ということは偽だ; int3 & fact2 -> int4: 「その私刑は八歳年下である」ということは成り立つ; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしもとある物は起こり易いならそれは行動化しない fact2: 「この大戦果は行動化しないけれどぐずぐずする」ということは成り立つということはないならその私刑は八歳年下である fact3: もしその私刑が行動化しないならばあの為替レートは八歳年下だ fact4: もしなんらかの物はぐずぐずするとしたらそれは行動化しない fact5: もし仮にあの為替レートは行動化しないとすると「この大戦果は行動化するししかもぐずぐずする」ということは嘘である fact6: もしもその私刑がぐずぐずするとすると八歳年下でない fact7: もしあるものが押し付けがましいとすれば変形しない fact8: もし仮にあの為替レートは行動化するということはないとしたら「この大戦果は行動化しないがしかしそれはぐずぐずする」ということは間違いだ ; $hypothesis$ = 仮にあの為替レートが起こり易いならその私刑は八歳年下だ ; $proof$ = 
fact1 -> int1: もし「あの為替レートは起こり易い」ということは成り立つとすればそれは行動化しない; void -> assump1: 以下のように仮定する。あの為替レートは起こり易い; int1 & assump1 -> int2: あの為替レートは行動化するということはない; int2 & fact8 -> int3: 「この大戦果は行動化しないがそれはぐずぐずする」ということは偽だ; int3 & fact2 -> int4: 「その私刑は八歳年下である」ということは成り立つ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしもとある物は起こり易いならそれは行動化しない
事実2: 「この大戦果は行動化しないけれどぐずぐずする」ということは成り立つということはないならその私刑は八歳年下である
事実3: もしその私刑が行動化しないならばあの為替レートは八歳年下だ
事実4: もしなんらかの物はぐずぐずするとしたらそれは行動化しない
事実5: もし仮にあの為替レートは行動化しないとすると「この大戦果は行動化するししかもぐずぐずする」ということは嘘である
事実6: もしもその私刑がぐずぐずするとすると八歳年下でない
事実7: もしあるものが押し付けがましいとすれば変形しない
事実8: もし仮にあの為替レートは行動化するということはないとしたら「この大戦果は行動化しないがしかしそれはぐずぐずする」ということは間違いだ

仮説: 仮にあの為替レートが起こり易いならその私刑は八歳年下だ
1. 事実1から、推論1: "もし「あの為替レートは起こり易い」ということは成り立つとすればそれは行動化しない"が導かれる
2. 仮定1: 以下のように仮定する。あの為替レートは起こり易い
3. 推論1と仮定1から、推論2: "あの為替レートは行動化するということはない"が導かれる
4. 推論2と事実8から、推論3: "「この大戦果は行動化しないがそれはぐずぐずする」ということは偽だ"が導かれる
5. 推論3と事実2から、推論4: "「その私刑は八歳年下である」ということは成り立つ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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