その同は誘降でないかもしくは年金形式であるかもしくはどちらもだ
fact1: その松竹は落ち込まない fact2: 「その同は惨いしその上壊れ易い」ということは誤っている fact3: 「バランス良くないものは落ち込むということはない」ということは事実だ fact4: もし仮にあるものが惨いとすればそれは誘降でない fact5: もし仮に「何らかのものは惨いということはないが壊れ易い」ということは成り立たないとするとそれは誘降だということはない fact6: その同は報告致さないがしかし愚かしい fact7: もし仮にその同が落ち込むとしたら壊れ易くない fact8: もし「この環境報告書は個人情報取り扱い事務であるということはない」ということは成り立つなら生まれ変われるしおまけにドレナージだ fact9: 仮に「「「街らしいし厚かましい」ということは事実だ」ということは間違っている」ものがあるとすればあの同調査は街らしいということはない fact10: 「もし仮にその同が惨いとしたらその同は誘降でない」ということは成り立つ fact11: この環境報告書は個人情報取り扱い事務であるということはない fact12: その大本教は落ち込まない fact13: もしその松竹は落ち込むということはないなら「その同は惨くて更に壊れ易い」ということは成り立たない fact14: もしも何らかの物は生まれ変われるとしたら「この公認会計士・監査法人が街らしいしその上それは厚かましい」ということは成り立たない fact15: もしもその同調査が街らしくないならばその全長はアーリーであるしまた底堅い fact16: 「その松竹は年金形式でないしおまけにバランス良くない」ということは成り立たないとすればあの九十六年版は年金形式である fact17: その同は誘降であるかまたは年金形式であるかまたは両方ともである fact18: もし仮に「その全長はアーリーである」ということは事実であるならばその松竹はアーリーでない fact19: もしとあるものは落ち込まないとすれば「それは誘降だということはないかまたは年金形式であるか両方だ」ということは事実と異なる fact20: もしもその松竹はアーリーでないとしたら「それは愚かしいし加えてそれは報告致すということはない」ということは間違っている fact21: 仮にその松竹は落ち込まないとしたら「「その同は惨くないけれど壊れ易い」ということは正しい」ということは間違っている
fact21 & fact1 -> int1: 「その同は惨くない一方でそれは壊れ易い」ということは誤りである; fact5 -> int2: 「その同は惨くないがそれは壊れ易い」ということは誤りだとすると誘降であるということはない; int1 & int2 -> int3: 「その同は誘降でない」ということは確かだ; int3 -> hypothesis;
「その同は誘降でないかまたは年金形式であるかあるいは両方である」ということは嘘である
fact22 -> int4: もしも「その同は落ち込まない」ということは間違いでないならば「それは誘降でないかあるいは年金形式であるかどちらもだ」ということは誤りである; fact28 -> int5: もしその同がバランス良くないなら落ち込まない; fact24 & fact29 -> int6: この環境報告書は生まれ変われるしその上ドレナージだ; int6 -> int7: この環境報告書は生まれ変われる; int7 -> int8: 「「生まれ変われる」ものはある」ということは事実である; int8 & fact26 -> int9: 「この公認会計士・監査法人は街らしいしかつ厚かましい」ということは偽だ; int9 -> int10: 「「「街らしいししかも厚かましい」ということは正しい」ということは間違っている」物はある; int10 & fact23 -> int11: その同調査は街らしくない; fact30 & int11 -> int12: その全長はアーリーで更に底堅い; int12 -> int13: その全長はアーリーである; fact25 & int13 -> int14: その松竹はアーリーでない; fact27 & int14 -> int15: 「その松竹は愚かしいがそれは報告致さない」ということは間違いである; int15 -> int16: 「「愚かしいしかつ報告致さない」ということは成り立つということはない」ものはある;
$facts$ = fact1: その松竹は落ち込まない fact2: 「その同は惨いしその上壊れ易い」ということは誤っている fact3: 「バランス良くないものは落ち込むということはない」ということは事実だ fact4: もし仮にあるものが惨いとすればそれは誘降でない fact5: もし仮に「何らかのものは惨いということはないが壊れ易い」ということは成り立たないとするとそれは誘降だということはない fact6: その同は報告致さないがしかし愚かしい fact7: もし仮にその同が落ち込むとしたら壊れ易くない fact8: もし「この環境報告書は個人情報取り扱い事務であるということはない」ということは成り立つなら生まれ変われるしおまけにドレナージだ fact9: 仮に「「「街らしいし厚かましい」ということは事実だ」ということは間違っている」ものがあるとすればあの同調査は街らしいということはない fact10: 「もし仮にその同が惨いとしたらその同は誘降でない」ということは成り立つ fact11: この環境報告書は個人情報取り扱い事務であるということはない fact12: その大本教は落ち込まない fact13: もしその松竹は落ち込むということはないなら「その同は惨くて更に壊れ易い」ということは成り立たない fact14: もしも何らかの物は生まれ変われるとしたら「この公認会計士・監査法人が街らしいしその上それは厚かましい」ということは成り立たない fact15: もしもその同調査が街らしくないならばその全長はアーリーであるしまた底堅い fact16: 「その松竹は年金形式でないしおまけにバランス良くない」ということは成り立たないとすればあの九十六年版は年金形式である fact17: その同は誘降であるかまたは年金形式であるかまたは両方ともである fact18: もし仮に「その全長はアーリーである」ということは事実であるならばその松竹はアーリーでない fact19: もしとあるものは落ち込まないとすれば「それは誘降だということはないかまたは年金形式であるか両方だ」ということは事実と異なる fact20: もしもその松竹はアーリーでないとしたら「それは愚かしいし加えてそれは報告致すということはない」ということは間違っている fact21: 仮にその松竹は落ち込まないとしたら「「その同は惨くないけれど壊れ易い」ということは正しい」ということは間違っている ; $hypothesis$ = その同は誘降でないかもしくは年金形式であるかもしくはどちらもだ ; $proof$ = 
fact21 & fact1 -> int1: 「その同は惨くない一方でそれは壊れ易い」ということは誤りである; fact5 -> int2: 「その同は惨くないがそれは壊れ易い」ということは誤りだとすると誘降であるということはない; int1 & int2 -> int3: 「その同は誘降でない」ということは確かだ; int3 -> hypothesis; __PROVED__
事実1: その松竹は落ち込まない
事実2: 「その同は惨いしその上壊れ易い」ということは誤っている
事実3: 「バランス良くないものは落ち込むということはない」ということは事実だ
事実4: もし仮にあるものが惨いとすればそれは誘降でない
事実5: もし仮に「何らかのものは惨いということはないが壊れ易い」ということは成り立たないとするとそれは誘降だということはない
事実6: その同は報告致さないがしかし愚かしい
事実7: もし仮にその同が落ち込むとしたら壊れ易くない
事実8: もし「この環境報告書は個人情報取り扱い事務であるということはない」ということは成り立つなら生まれ変われるしおまけにドレナージだ
事実9: 仮に「「「街らしいし厚かましい」ということは事実だ」ということは間違っている」ものがあるとすればあの同調査は街らしいということはない
事実10: 「もし仮にその同が惨いとしたらその同は誘降でない」ということは成り立つ
事実11: この環境報告書は個人情報取り扱い事務であるということはない
事実12: その大本教は落ち込まない
事実13: もしその松竹は落ち込むということはないなら「その同は惨くて更に壊れ易い」ということは成り立たない
事実14: もしも何らかの物は生まれ変われるとしたら「この公認会計士・監査法人が街らしいしその上それは厚かましい」ということは成り立たない
事実15: もしもその同調査が街らしくないならばその全長はアーリーであるしまた底堅い
事実16: 「その松竹は年金形式でないしおまけにバランス良くない」ということは成り立たないとすればあの九十六年版は年金形式である
事実17: その同は誘降であるかまたは年金形式であるかまたは両方ともである
事実18: もし仮に「その全長はアーリーである」ということは事実であるならばその松竹はアーリーでない
事実19: もしとあるものは落ち込まないとすれば「それは誘降だということはないかまたは年金形式であるか両方だ」ということは事実と異なる
事実20: もしもその松竹はアーリーでないとしたら「それは愚かしいし加えてそれは報告致すということはない」ということは間違っている
事実21: 仮にその松竹は落ち込まないとしたら「「その同は惨くないけれど壊れ易い」ということは正しい」ということは間違っている

仮説: その同は誘降でないかもしくは年金形式であるかもしくはどちらもだ
1. 事実21と事実1から、推論1: "「その同は惨くない一方でそれは壊れ易い」ということは誤りである"が導かれる
2. 事実5から、推論2: "「その同は惨くないがそれは壊れ易い」ということは誤りだとすると誘降であるということはない"が導かれる
3. 推論1と推論2から、推論3: "「その同は誘降でない」ということは確かだ"が導かれる
4. 推論3から、仮説が導かれる

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