もしこの知覚催眠が燃やし尽くすとすればその今日此の頃は戻し易いかまたは削がない
fact1: もしその今日此の頃は転び出るか燃やし尽くすとすれば戻し易くない fact2: その今日此の頃は戻し易いかまたは削ぐ fact3: もしもその今日此の頃は戻し易いということはないとすると「この輩出は振り付けだしおまけに短呼する」ということは嘘である fact4: もし仮にこの輩出が短呼しないならばあの杉桶は汲み交わさない fact5: もしその杉桶は汲み交わさないとしたら「その今日此の頃は戻し易い」ということは確かである fact6: 「その今日此の頃は戻し易いしその上短呼する」ということは成り立たない fact7: 「この輩出は振り付けである」ということは嘘であるとしたら「その杉桶は短呼するしそれは汲み交わす」ということは誤りだ fact8: その杉桶は危うしない fact9: 仮にその今日此の頃が転び出ないとすればあの知覚催眠は戻し易い fact10: もしも「「その杉桶は燃やし尽くさないけれど汲み交わす」ということは誤っている」ということは確かであるとしたらこの輩出は短呼しない fact11: もしも「「この輩出は狭窄するということはない一方でそれは短呼する」ということは本当でない」ということは確かだとするとその杉桶は汲み交わさない fact12: この輩出は燃やし尽くす fact13: 仮に「この知覚催眠は振り付けでない」ということは成り立つとしたら「この輩出は狭窄しないがしかしそれは短呼する」ということは成り立つということはない fact14: 「この知覚催眠は長期的視野である」ということは成り立つ fact15: この知覚催眠は狭窄する fact16: その杉桶は狭窄する fact17: もしもこの輩出が戻し易いとすればその今日此の頃は短呼しない fact18: 仮に「この知覚催眠は転び出る」ということは事実だとすればそれは振り付けだということはない fact19: 仮にこの輩出は狭窄しないとすれば「その今日此の頃は汲み交わさないがそれは戻し易い」ということは嘘である fact20: その今日此の頃は汲み交わす fact21: もしこの輩出が振り付けであるならこの知覚催眠は短呼しない fact22: 仮にこの知覚催眠が燃やし尽くすかそれが転び出るとするとそれは振り付けでない fact23: 「その今日此の頃は転び出る」ということは事実だ
void -> assump1: 以下のように仮定する。この知覚催眠は燃やし尽くす; assump1 -> int1: この知覚催眠は燃やし尽くすかもしくは転び出るかどちらもだ; int1 & fact22 -> int2: この知覚催眠は振り付けでない; int2 & fact13 -> int3: 「この輩出は狭窄しないけれどそれは短呼する」ということは成り立たない; int3 & fact11 -> int4: その杉桶は汲み交わさない; int4 & fact5 -> int5: その今日此の頃は戻し易い; int5 -> int6: その今日此の頃は戻し易いかまたは削がない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もしその今日此の頃は転び出るか燃やし尽くすとすれば戻し易くない fact2: その今日此の頃は戻し易いかまたは削ぐ fact3: もしもその今日此の頃は戻し易いということはないとすると「この輩出は振り付けだしおまけに短呼する」ということは嘘である fact4: もし仮にこの輩出が短呼しないならばあの杉桶は汲み交わさない fact5: もしその杉桶は汲み交わさないとしたら「その今日此の頃は戻し易い」ということは確かである fact6: 「その今日此の頃は戻し易いしその上短呼する」ということは成り立たない fact7: 「この輩出は振り付けである」ということは嘘であるとしたら「その杉桶は短呼するしそれは汲み交わす」ということは誤りだ fact8: その杉桶は危うしない fact9: 仮にその今日此の頃が転び出ないとすればあの知覚催眠は戻し易い fact10: もしも「「その杉桶は燃やし尽くさないけれど汲み交わす」ということは誤っている」ということは確かであるとしたらこの輩出は短呼しない fact11: もしも「「この輩出は狭窄するということはない一方でそれは短呼する」ということは本当でない」ということは確かだとするとその杉桶は汲み交わさない fact12: この輩出は燃やし尽くす fact13: 仮に「この知覚催眠は振り付けでない」ということは成り立つとしたら「この輩出は狭窄しないがしかしそれは短呼する」ということは成り立つということはない fact14: 「この知覚催眠は長期的視野である」ということは成り立つ fact15: この知覚催眠は狭窄する fact16: その杉桶は狭窄する fact17: もしもこの輩出が戻し易いとすればその今日此の頃は短呼しない fact18: 仮に「この知覚催眠は転び出る」ということは事実だとすればそれは振り付けだということはない fact19: 仮にこの輩出は狭窄しないとすれば「その今日此の頃は汲み交わさないがそれは戻し易い」ということは嘘である fact20: その今日此の頃は汲み交わす fact21: もしこの輩出が振り付けであるならこの知覚催眠は短呼しない fact22: 仮にこの知覚催眠が燃やし尽くすかそれが転び出るとするとそれは振り付けでない fact23: 「その今日此の頃は転び出る」ということは事実だ ; $hypothesis$ = もしこの知覚催眠が燃やし尽くすとすればその今日此の頃は戻し易いかまたは削がない ; $proof$ = 
void -> assump1: 以下のように仮定する。この知覚催眠は燃やし尽くす; assump1 -> int1: この知覚催眠は燃やし尽くすかもしくは転び出るかどちらもだ; int1 & fact22 -> int2: この知覚催眠は振り付けでない; int2 & fact13 -> int3: 「この輩出は狭窄しないけれどそれは短呼する」ということは成り立たない; int3 & fact11 -> int4: その杉桶は汲み交わさない; int4 & fact5 -> int5: その今日此の頃は戻し易い; int5 -> int6: その今日此の頃は戻し易いかまたは削がない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしその今日此の頃は転び出るか燃やし尽くすとすれば戻し易くない
事実2: その今日此の頃は戻し易いかまたは削ぐ
事実3: もしもその今日此の頃は戻し易いということはないとすると「この輩出は振り付けだしおまけに短呼する」ということは嘘である
事実4: もし仮にこの輩出が短呼しないならばあの杉桶は汲み交わさない
事実5: もしその杉桶は汲み交わさないとしたら「その今日此の頃は戻し易い」ということは確かである
事実6: 「その今日此の頃は戻し易いしその上短呼する」ということは成り立たない
事実7: 「この輩出は振り付けである」ということは嘘であるとしたら「その杉桶は短呼するしそれは汲み交わす」ということは誤りだ
事実8: その杉桶は危うしない
事実9: 仮にその今日此の頃が転び出ないとすればあの知覚催眠は戻し易い
事実10: もしも「「その杉桶は燃やし尽くさないけれど汲み交わす」ということは誤っている」ということは確かであるとしたらこの輩出は短呼しない
事実11: もしも「「この輩出は狭窄するということはない一方でそれは短呼する」ということは本当でない」ということは確かだとするとその杉桶は汲み交わさない
事実12: この輩出は燃やし尽くす
事実13: 仮に「この知覚催眠は振り付けでない」ということは成り立つとしたら「この輩出は狭窄しないがしかしそれは短呼する」ということは成り立つということはない
事実14: 「この知覚催眠は長期的視野である」ということは成り立つ
事実15: この知覚催眠は狭窄する
事実16: その杉桶は狭窄する
事実17: もしもこの輩出が戻し易いとすればその今日此の頃は短呼しない
事実18: 仮に「この知覚催眠は転び出る」ということは事実だとすればそれは振り付けだということはない
事実19: 仮にこの輩出は狭窄しないとすれば「その今日此の頃は汲み交わさないがそれは戻し易い」ということは嘘である
事実20: その今日此の頃は汲み交わす
事実21: もしこの輩出が振り付けであるならこの知覚催眠は短呼しない
事実22: 仮にこの知覚催眠が燃やし尽くすかそれが転び出るとするとそれは振り付けでない
事実23: 「その今日此の頃は転び出る」ということは事実だ

仮説: もしこの知覚催眠が燃やし尽くすとすればその今日此の頃は戻し易いかまたは削がない
1. 仮定1: 以下のように仮定する。この知覚催眠は燃やし尽くす
2. 仮定1から、推論1: "この知覚催眠は燃やし尽くすかもしくは転び出るかどちらもだ"が導かれる
3. 推論1と事実22から、推論2: "この知覚催眠は振り付けでない"が導かれる
4. 推論2と事実13から、推論3: "「この輩出は狭窄しないけれどそれは短呼する」ということは成り立たない"が導かれる
5. 推論3と事実11から、推論4: "その杉桶は汲み交わさない"が導かれる
6. 推論4と事実5から、推論5: "その今日此の頃は戻し易い"が導かれる
7. 推論5から、推論6: "その今日此の頃は戻し易いかまたは削がない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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