「仮に溜め込み易いとしたら「逃れ出ない」ということは事実な」ものはある
fact1: もしある物は騙すし溜め込み易いならそれは逃れ出るということはない fact2: もし仮に「「文部省年報だししかもペリフェラル・ドライバだということはない」ということは誤りな」物があるならその上海大衆汽車は三猿である fact3: 「このＬ字は文部省年報であるがそれはペリフェラル・ドライバでない」ということは偽である fact4: もしその上海大衆汽車は三猿ならば「この穀屋仲間は騙す」ということは成り立つ
fact3 -> int1: 「「文部省年報であるけれどペリフェラル・ドライバでない」ということは真実でない」物はある; int1 & fact2 -> int2: その上海大衆汽車は三猿である; int2 & fact4 -> int3: この穀屋仲間は騙す; void -> assump1: 以下のように仮定する。この穀屋仲間は溜め込み易い; int3 & assump1 -> int4: この穀屋仲間は騙すし加えて溜め込み易い; fact1 -> int5: もしもこの穀屋仲間は騙すしまた溜め込み易いとすれば逃れ出ない; int4 & int5 -> int6: この穀屋仲間は逃れ出ない; [assump1] & int6 -> int7: 仮にこの穀屋仲間が溜め込み易いならば逃れ出ない; int7 -> hypothesis;
$facts$ = fact1: もしある物は騙すし溜め込み易いならそれは逃れ出るということはない fact2: もし仮に「「文部省年報だししかもペリフェラル・ドライバだということはない」ということは誤りな」物があるならその上海大衆汽車は三猿である fact3: 「このＬ字は文部省年報であるがそれはペリフェラル・ドライバでない」ということは偽である fact4: もしその上海大衆汽車は三猿ならば「この穀屋仲間は騙す」ということは成り立つ ; $hypothesis$ = 「仮に溜め込み易いとしたら「逃れ出ない」ということは事実な」ものはある ; $proof$ = 
fact3 -> int1: 「「文部省年報であるけれどペリフェラル・ドライバでない」ということは真実でない」物はある; int1 & fact2 -> int2: その上海大衆汽車は三猿である; int2 & fact4 -> int3: この穀屋仲間は騙す; void -> assump1: 以下のように仮定する。この穀屋仲間は溜め込み易い; int3 & assump1 -> int4: この穀屋仲間は騙すし加えて溜め込み易い; fact1 -> int5: もしもこの穀屋仲間は騙すしまた溜め込み易いとすれば逃れ出ない; int4 & int5 -> int6: この穀屋仲間は逃れ出ない; [assump1] & int6 -> int7: 仮にこの穀屋仲間が溜め込み易いならば逃れ出ない; int7 -> hypothesis; __PROVED__
事実1: もしある物は騙すし溜め込み易いならそれは逃れ出るということはない
事実2: もし仮に「「文部省年報だししかもペリフェラル・ドライバだということはない」ということは誤りな」物があるならその上海大衆汽車は三猿である
事実3: 「このＬ字は文部省年報であるがそれはペリフェラル・ドライバでない」ということは偽である
事実4: もしその上海大衆汽車は三猿ならば「この穀屋仲間は騙す」ということは成り立つ

仮説: 「仮に溜め込み易いとしたら「逃れ出ない」ということは事実な」ものはある
1. 事実3から、推論1: "「「文部省年報であるけれどペリフェラル・ドライバでない」ということは真実でない」物はある"が導かれる
2. 推論1と事実2から、推論2: "その上海大衆汽車は三猿である"が導かれる
3. 推論2と事実4から、推論3: "この穀屋仲間は騙す"が導かれる
4. 仮定1: 以下のように仮定する。この穀屋仲間は溜め込み易い
5. 推論3と仮定1から、推論4: "この穀屋仲間は騙すし加えて溜め込み易い"が導かれる
6. 事実1から、推論5: "もしもこの穀屋仲間は騙すしまた溜め込み易いとすれば逃れ出ない"が導かれる
7. 推論4と推論5から、推論6: "この穀屋仲間は逃れ出ない"が導かれる
8. [仮定1]と推論6から、推論7: "仮にこの穀屋仲間が溜め込み易いならば逃れ出ない"が導かれる
9. 推論7から、仮説が導かれる

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