この探訪は移ろい易くない
fact1: 仮にあの禍々しさがあざといしおまけに移ろい易いとすればあの禁止は移ろい易いということはない fact2: あの禁止は覗き直さない fact3: ある物は性的自由でないならそれはあざといしさらに移ろい易い fact4: もし仮にこの探訪が自己啓発でないとしたらその足枷は自己啓発だということはない fact5: この探訪は自己啓発でないがしかしそれは転げ落ちる fact6: 「転げ落ちるしかつ移ろい易い」物があるならあの禁止は性的自由でない fact7: もし仮にあの禁止が覗き直さないとすればあざとくないが性的自由である fact8: 仮に「あの禍々しさは治山だということはなくて悩ましくない」ということは嘘であるならばそれは性的自由でない fact9: 仮にあるものが自己啓発でないとすればそれは覗き直す fact10: この衰退産業は覗き直さない
fact5 -> int1: 「この探訪は転げ落ちる」ということは本当である; void -> assump1: 以下のように仮定する。「この探訪は移ろい易い」ということは誤りでない; int1 & assump1 -> int2: この探訪は転げ落ちるしさらに移ろい易い; int2 -> int3: なにかは転げ落ちるしその上移ろい易い; int3 & fact6 -> int4: あの禁止は性的自由でない; fact2 & fact7 -> int5: あの禁止はあざとくないがしかしそれは性的自由だ; int5 -> int6: あの禁止は性的自由である; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
その足枷は覗き直す
fact15 -> int8: もしもその足枷は自己啓発でないなら「覗き直す」ということは本当である; fact13 -> int9: あの禍々しさが性的自由でないとするとそれはあざとくてそれは移ろい易い;
$facts$ = fact1: 仮にあの禍々しさがあざといしおまけに移ろい易いとすればあの禁止は移ろい易いということはない fact2: あの禁止は覗き直さない fact3: ある物は性的自由でないならそれはあざといしさらに移ろい易い fact4: もし仮にこの探訪が自己啓発でないとしたらその足枷は自己啓発だということはない fact5: この探訪は自己啓発でないがしかしそれは転げ落ちる fact6: 「転げ落ちるしかつ移ろい易い」物があるならあの禁止は性的自由でない fact7: もし仮にあの禁止が覗き直さないとすればあざとくないが性的自由である fact8: 仮に「あの禍々しさは治山だということはなくて悩ましくない」ということは嘘であるならばそれは性的自由でない fact9: 仮にあるものが自己啓発でないとすればそれは覗き直す fact10: この衰退産業は覗き直さない ; $hypothesis$ = この探訪は移ろい易くない ; $proof$ = 
fact5 -> int1: 「この探訪は転げ落ちる」ということは本当である; void -> assump1: 以下のように仮定する。「この探訪は移ろい易い」ということは誤りでない; int1 & assump1 -> int2: この探訪は転げ落ちるしさらに移ろい易い; int2 -> int3: なにかは転げ落ちるしその上移ろい易い; int3 & fact6 -> int4: あの禁止は性的自由でない; fact2 & fact7 -> int5: あの禁止はあざとくないがしかしそれは性的自由だ; int5 -> int6: あの禁止は性的自由である; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 仮にあの禍々しさがあざといしおまけに移ろい易いとすればあの禁止は移ろい易いということはない
事実2: あの禁止は覗き直さない
事実3: ある物は性的自由でないならそれはあざといしさらに移ろい易い
事実4: もし仮にこの探訪が自己啓発でないとしたらその足枷は自己啓発だということはない
事実5: この探訪は自己啓発でないがしかしそれは転げ落ちる
事実6: 「転げ落ちるしかつ移ろい易い」物があるならあの禁止は性的自由でない
事実7: もし仮にあの禁止が覗き直さないとすればあざとくないが性的自由である
事実8: 仮に「あの禍々しさは治山だということはなくて悩ましくない」ということは嘘であるならばそれは性的自由でない
事実9: 仮にあるものが自己啓発でないとすればそれは覗き直す
事実10: この衰退産業は覗き直さない

仮説: この探訪は移ろい易くない
1. 事実5から、推論1: "「この探訪は転げ落ちる」ということは本当である"が導かれる
2. 仮定1: 以下のように仮定する。「この探訪は移ろい易い」ということは誤りでない
3. 推論1と仮定1から、推論2: "この探訪は転げ落ちるしさらに移ろい易い"が導かれる
4. 推論2から、推論3: "なにかは転げ落ちるしその上移ろい易い"が導かれる
5. 推論3と事実6から、推論4: "あの禁止は性的自由でない"が導かれる
6. 事実2と事実7から、推論5: "あの禁止はあざとくないがしかしそれは性的自由だ"が導かれる
7. 推論5から、推論6: "あの禁止は性的自由である"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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