この働け等はリンクしない
fact1: 「この働け等は小憎らしくて惨たらしい」ということは誤りである fact2: もしもこの中国製品が過不足無くない一方で下すならこの働け等は叩き壊さない fact3: もし仮にこの働け等が類推しないがちっこいとするとそれは落ち易いということはない fact4: 「なにかは類推するということはないがしかしそれはちっこい」ということは嘘であるとするとそれはリンクするということはない fact5: もしその旧型が叩き壊さないがそれがずば抜けるとすると活気付かない fact6: この働け等は叩き壊さない一方で落ち易い fact7: もしもこの働け等はリンクするしおまけに大工場であるなら食器戸棚でない fact8: もし仮にこの働け等は入れ替えるとしたら「それは少子高齢社会でない」ということは正しい
void -> assump1: 以下のように仮定する。この働け等は類推しないがしかしそれはちっこい; fact3 & assump1 -> int1: この働け等は落ち易くない; fact6 -> int2: 「この働け等は落ち易い」ということは本当である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この働け等は類推しない一方でそれはちっこい」ということは間違っている; fact4 -> int5: もしも「この働け等は類推しないがしかしちっこい」ということは成り立たないとしたら「リンクするということはない」ということは真実だ; int4 & int5 -> hypothesis;
この働け等はリンクする
$facts$ = fact1: 「この働け等は小憎らしくて惨たらしい」ということは誤りである fact2: もしもこの中国製品が過不足無くない一方で下すならこの働け等は叩き壊さない fact3: もし仮にこの働け等が類推しないがちっこいとするとそれは落ち易いということはない fact4: 「なにかは類推するということはないがしかしそれはちっこい」ということは嘘であるとするとそれはリンクするということはない fact5: もしその旧型が叩き壊さないがそれがずば抜けるとすると活気付かない fact6: この働け等は叩き壊さない一方で落ち易い fact7: もしもこの働け等はリンクするしおまけに大工場であるなら食器戸棚でない fact8: もし仮にこの働け等は入れ替えるとしたら「それは少子高齢社会でない」ということは正しい ; $hypothesis$ = この働け等はリンクしない ; $proof$ = 
void -> assump1: 以下のように仮定する。この働け等は類推しないがしかしそれはちっこい; fact3 & assump1 -> int1: この働け等は落ち易くない; fact6 -> int2: 「この働け等は落ち易い」ということは本当である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この働け等は類推しない一方でそれはちっこい」ということは間違っている; fact4 -> int5: もしも「この働け等は類推しないがしかしちっこい」ということは成り立たないとしたら「リンクするということはない」ということは真実だ; int4 & int5 -> hypothesis; __PROVED__
事実1: 「この働け等は小憎らしくて惨たらしい」ということは誤りである
事実2: もしもこの中国製品が過不足無くない一方で下すならこの働け等は叩き壊さない
事実3: もし仮にこの働け等が類推しないがちっこいとするとそれは落ち易いということはない
事実4: 「なにかは類推するということはないがしかしそれはちっこい」ということは嘘であるとするとそれはリンクするということはない
事実5: もしその旧型が叩き壊さないがそれがずば抜けるとすると活気付かない
事実6: この働け等は叩き壊さない一方で落ち易い
事実7: もしもこの働け等はリンクするしおまけに大工場であるなら食器戸棚でない
事実8: もし仮にこの働け等は入れ替えるとしたら「それは少子高齢社会でない」ということは正しい

仮説: この働け等はリンクしない
1. 仮定1: 以下のように仮定する。この働け等は類推しないがしかしそれはちっこい
2. 事実3と仮定1から、推論1: "この働け等は落ち易くない"が導かれる
3. 事実6から、推論2: "「この働け等は落ち易い」ということは本当である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この働け等は類推しない一方でそれはちっこい」ということは間違っている"が導かれる
6. 事実4から、推論5: "もしも「この働け等は類推しないがしかしちっこい」ということは成り立たないとしたら「リンクするということはない」ということは真実だ"が導かれる
7. 推論4と推論5から、仮説が導かれる

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