もし仮にその献金問題が疲れ易いとすればその賠償請求は陥り易い
fact1: そのコンピュータプログラムは防錆性でない fact2: もしなにかは無生物なら「出始めない」ということは間違いでない fact3: 「もしも「この人道支援は渡米するということはないが誘い合う」ということは偽であるならばあの人道支援は誘い合わない」ということは成り立つ fact4: もし仮にそのコンピュータプログラムは透かないなら「その賠償請求は陥り易い」ということは事実である fact5: その献金問題はリサーチする fact6: もしある物は誘い合わないとしたら「掘り尽くすしまたそれはバックアップしない」ということは成り立たない fact7: もし仮にこの半加算器が異時空間アンカーであるならその肩関節は異時空間アンカーでない fact8: 「もしもあの安藤組はバックアップしないならば「この半加算器は復活するか異時空間アンカーであるか両方である」ということは嘘でない」ということは事実だ fact9: 仮に何らかの物は山鳩だということはないとすると「この人道支援は渡米しないがそれは誘い合う」ということは成り立たない fact10: 仮にそのコンピュータプログラムが出始めるということはないならその献金問題は透かなくて陥り易くない fact11: 仮にその献金問題が疲れ易いかあるいはリサーチするかもしくは両方ともならばそのコンピュータプログラムは透くということはない fact12: もし仮にこの半加算器が復活するならその肩関節は異時空間アンカーだということはない fact13: 「山鳩でない」ものはある fact14: 「この人道支援は掘り尽くす一方でそれはバックアップするということはない」ということは確かでないとすればあの安藤組はバックアップしない fact15: このシリコン製は陥り易い fact16: そのコンピュータプログラムが疲れ易いならその献金問題はリサーチする fact17: もし「その肩関節は異時空間アンカーでない」ということは成り立てばそのコンピュータプログラムは無生物だがしかしそれは話し難いということはない fact18: もしとあるものが透かないならばリサーチするしさらに疲れ易い fact19: 仮に「リサーチする」ものがあるとしたらその賠償請求は押し込めるかまたはそれはリサーチするかまたは両方ともだ fact20: もしそのコンピュータプログラムがリサーチしないとするとその献金問題は透く
void -> assump1: 以下のように仮定する。その献金問題は疲れ易い; assump1 -> int1: その献金問題は疲れ易いかあるいはリサーチする; int1 & fact11 -> int2: そのコンピュータプログラムは透かない; int2 & fact4 -> int3: その賠償請求は陥り易い; [assump1] & int3 -> hypothesis;
「その賠償請求は押し込めるかまたはリサーチする」ということは成り立つ
fact30 -> int4: その献金問題が透かないとすればリサーチするし加えて疲れ易い; fact23 -> int5: もしも「そのコンピュータプログラムは無生物だ」ということは事実ならば「それは出始めない」ということは偽でない; fact31 -> int6: もし仮にこの人道支援は誘い合わないとすれば「それは掘り尽くすけどバックアップするということはない」ということは成り立たない; fact27 & fact21 -> int7: 「この人道支援は渡米しないけどそれは誘い合う」ということは嘘である; fact24 & int7 -> int8: この人道支援は誘い合わない; int6 & int8 -> int9: 「この人道支援は掘り尽くすけれどバックアップしない」ということは間違っている; fact33 & int9 -> int10: あの安藤組はバックアップしない; fact28 & int10 -> int11: この半加算器は復活するかあるいは異時空間アンカーであるかあるいは両方だ; int11 & fact29 & fact22 -> int12: その肩関節は異時空間アンカーでない; fact32 & int12 -> int13: そのコンピュータプログラムは無生物だけれどそれは話し難くない; int13 -> int14: そのコンピュータプログラムは無生物だ; int5 & int14 -> int15: そのコンピュータプログラムは出始めるということはない; fact26 & int15 -> int16: その献金問題は透かないし陥り易くない; int16 -> int17: その献金問題は透かない; int4 & int17 -> int18: その献金問題はリサーチするしかつそれは疲れ易い; int18 -> int19: その献金問題はリサーチする; int19 -> int20: 「リサーチする」物はある; int20 & fact25 -> hypothesis;
$facts$ = fact1: そのコンピュータプログラムは防錆性でない fact2: もしなにかは無生物なら「出始めない」ということは間違いでない fact3: 「もしも「この人道支援は渡米するということはないが誘い合う」ということは偽であるならばあの人道支援は誘い合わない」ということは成り立つ fact4: もし仮にそのコンピュータプログラムは透かないなら「その賠償請求は陥り易い」ということは事実である fact5: その献金問題はリサーチする fact6: もしある物は誘い合わないとしたら「掘り尽くすしまたそれはバックアップしない」ということは成り立たない fact7: もし仮にこの半加算器が異時空間アンカーであるならその肩関節は異時空間アンカーでない fact8: 「もしもあの安藤組はバックアップしないならば「この半加算器は復活するか異時空間アンカーであるか両方である」ということは嘘でない」ということは事実だ fact9: 仮に何らかの物は山鳩だということはないとすると「この人道支援は渡米しないがそれは誘い合う」ということは成り立たない fact10: 仮にそのコンピュータプログラムが出始めるということはないならその献金問題は透かなくて陥り易くない fact11: 仮にその献金問題が疲れ易いかあるいはリサーチするかもしくは両方ともならばそのコンピュータプログラムは透くということはない fact12: もし仮にこの半加算器が復活するならその肩関節は異時空間アンカーだということはない fact13: 「山鳩でない」ものはある fact14: 「この人道支援は掘り尽くす一方でそれはバックアップするということはない」ということは確かでないとすればあの安藤組はバックアップしない fact15: このシリコン製は陥り易い fact16: そのコンピュータプログラムが疲れ易いならその献金問題はリサーチする fact17: もし「その肩関節は異時空間アンカーでない」ということは成り立てばそのコンピュータプログラムは無生物だがしかしそれは話し難いということはない fact18: もしとあるものが透かないならばリサーチするしさらに疲れ易い fact19: 仮に「リサーチする」ものがあるとしたらその賠償請求は押し込めるかまたはそれはリサーチするかまたは両方ともだ fact20: もしそのコンピュータプログラムがリサーチしないとするとその献金問題は透く ; $hypothesis$ = もし仮にその献金問題が疲れ易いとすればその賠償請求は陥り易い ; $proof$ = 
void -> assump1: 以下のように仮定する。その献金問題は疲れ易い; assump1 -> int1: その献金問題は疲れ易いかあるいはリサーチする; int1 & fact11 -> int2: そのコンピュータプログラムは透かない; int2 & fact4 -> int3: その賠償請求は陥り易い; [assump1] & int3 -> hypothesis; __PROVED__
事実1: そのコンピュータプログラムは防錆性でない
事実2: もしなにかは無生物なら「出始めない」ということは間違いでない
事実3: 「もしも「この人道支援は渡米するということはないが誘い合う」ということは偽であるならばあの人道支援は誘い合わない」ということは成り立つ
事実4: もし仮にそのコンピュータプログラムは透かないなら「その賠償請求は陥り易い」ということは事実である
事実5: その献金問題はリサーチする
事実6: もしある物は誘い合わないとしたら「掘り尽くすしまたそれはバックアップしない」ということは成り立たない
事実7: もし仮にこの半加算器が異時空間アンカーであるならその肩関節は異時空間アンカーでない
事実8: 「もしもあの安藤組はバックアップしないならば「この半加算器は復活するか異時空間アンカーであるか両方である」ということは嘘でない」ということは事実だ
事実9: 仮に何らかの物は山鳩だということはないとすると「この人道支援は渡米しないがそれは誘い合う」ということは成り立たない
事実10: 仮にそのコンピュータプログラムが出始めるということはないならその献金問題は透かなくて陥り易くない
事実11: 仮にその献金問題が疲れ易いかあるいはリサーチするかもしくは両方ともならばそのコンピュータプログラムは透くということはない
事実12: もし仮にこの半加算器が復活するならその肩関節は異時空間アンカーだということはない
事実13: 「山鳩でない」ものはある
事実14: 「この人道支援は掘り尽くす一方でそれはバックアップするということはない」ということは確かでないとすればあの安藤組はバックアップしない
事実15: このシリコン製は陥り易い
事実16: そのコンピュータプログラムが疲れ易いならその献金問題はリサーチする
事実17: もし「その肩関節は異時空間アンカーでない」ということは成り立てばそのコンピュータプログラムは無生物だがしかしそれは話し難いということはない
事実18: もしとあるものが透かないならばリサーチするしさらに疲れ易い
事実19: 仮に「リサーチする」ものがあるとしたらその賠償請求は押し込めるかまたはそれはリサーチするかまたは両方ともだ
事実20: もしそのコンピュータプログラムがリサーチしないとするとその献金問題は透く

仮説: もし仮にその献金問題が疲れ易いとすればその賠償請求は陥り易い
1. 仮定1: 以下のように仮定する。その献金問題は疲れ易い
2. 仮定1から、推論1: "その献金問題は疲れ易いかあるいはリサーチする"が導かれる
3. 推論1と事実11から、推論2: "そのコンピュータプログラムは透かない"が導かれる
4. 推論2と事実4から、推論3: "その賠償請求は陥り易い"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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