「もし仮に寒しとしたら「余剰農産物だということはなくておまけに不完全性でない」ということは成り立たない」ものはある
fact1: もし「「支障無いししかも持続静注だということはない」ということは事実でない」ものがあるとすればこの妊娠時は豪傑である fact2: もしも「持続静注な」物があるとしたらこの妊娠時は豪傑だ fact3: 「「支障無いが持続静注でない」ということは成り立たない」ものはある fact4: もしも何らかの物は反映され易くないとしたら「余剰農産物でなくておまけに不完全性でない」ということは誤りである fact5: 仮に反映され易い物は豪傑であるとしたら寒しない fact6: 「寒しとすると「余剰農産物だということはないけれど不完全性である」ということは成り立つということはない」ものはある fact7: 「もしも「寒し」ということは真実であるとすると余剰農産物でなくて不完全性だということはない」物はある
fact3 & fact1 -> int1: 「この妊娠時は豪傑である」ということは真実だ; void -> assump2: 以下のように仮定する。この妊娠時は反映され易い; int1 & assump2 -> int2: この妊娠時は反映され易いしさらに豪傑である; fact5 -> int3: この妊娠時が反映され易くて更にそれが豪傑ならそれは寒しということはない; int2 & int3 -> int4: この妊娠時は寒しない; void -> assump1: 以下のように仮定する。この妊娠時は寒し; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: この妊娠時は反映され易くない; fact4 -> int7: 仮にこの妊娠時は反映され易いということはないなら「余剰農産物でなくて加えて不完全性でない」ということは嘘である; int6 & int7 -> int8: 「この妊娠時は余剰農産物でなくて更にそれは不完全性でない」ということは事実と異なる; [assump1] & int8 -> int9: この妊娠時は寒しとしたら「余剰農産物であるということはなくてまた不完全性でない」ということは事実と異なる; int9 -> hypothesis;
$facts$ = fact1: もし「「支障無いししかも持続静注だということはない」ということは事実でない」ものがあるとすればこの妊娠時は豪傑である fact2: もしも「持続静注な」物があるとしたらこの妊娠時は豪傑だ fact3: 「「支障無いが持続静注でない」ということは成り立たない」ものはある fact4: もしも何らかの物は反映され易くないとしたら「余剰農産物でなくておまけに不完全性でない」ということは誤りである fact5: 仮に反映され易い物は豪傑であるとしたら寒しない fact6: 「寒しとすると「余剰農産物だということはないけれど不完全性である」ということは成り立つということはない」ものはある fact7: 「もしも「寒し」ということは真実であるとすると余剰農産物でなくて不完全性だということはない」物はある ; $hypothesis$ = 「もし仮に寒しとしたら「余剰農産物だということはなくておまけに不完全性でない」ということは成り立たない」ものはある ; $proof$ = 
fact3 & fact1 -> int1: 「この妊娠時は豪傑である」ということは真実だ; void -> assump2: 以下のように仮定する。この妊娠時は反映され易い; int1 & assump2 -> int2: この妊娠時は反映され易いしさらに豪傑である; fact5 -> int3: この妊娠時が反映され易くて更にそれが豪傑ならそれは寒しということはない; int2 & int3 -> int4: この妊娠時は寒しない; void -> assump1: 以下のように仮定する。この妊娠時は寒し; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: この妊娠時は反映され易くない; fact4 -> int7: 仮にこの妊娠時は反映され易いということはないなら「余剰農産物でなくて加えて不完全性でない」ということは嘘である; int6 & int7 -> int8: 「この妊娠時は余剰農産物でなくて更にそれは不完全性でない」ということは事実と異なる; [assump1] & int8 -> int9: この妊娠時は寒しとしたら「余剰農産物であるということはなくてまた不完全性でない」ということは事実と異なる; int9 -> hypothesis; __PROVED__
事実1: もし「「支障無いししかも持続静注だということはない」ということは事実でない」ものがあるとすればこの妊娠時は豪傑である
事実2: もしも「持続静注な」物があるとしたらこの妊娠時は豪傑だ
事実3: 「「支障無いが持続静注でない」ということは成り立たない」ものはある
事実4: もしも何らかの物は反映され易くないとしたら「余剰農産物でなくておまけに不完全性でない」ということは誤りである
事実5: 仮に反映され易い物は豪傑であるとしたら寒しない
事実6: 「寒しとすると「余剰農産物だということはないけれど不完全性である」ということは成り立つということはない」ものはある
事実7: 「もしも「寒し」ということは真実であるとすると余剰農産物でなくて不完全性だということはない」物はある

仮説: 「もし仮に寒しとしたら「余剰農産物だということはなくておまけに不完全性でない」ということは成り立たない」ものはある
1. 事実3と事実1から、推論1: "「この妊娠時は豪傑である」ということは真実だ"が導かれる
2. 仮定2: 以下のように仮定する。この妊娠時は反映され易い
3. 推論1と仮定2から、推論2: "この妊娠時は反映され易いしさらに豪傑である"が導かれる
4. 事実5から、推論3: "この妊娠時が反映され易くて更にそれが豪傑ならそれは寒しということはない"が導かれる
5. 推論2と推論3から、推論4: "この妊娠時は寒しない"が導かれる
6. 仮定1: 以下のように仮定する。この妊娠時は寒し
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "この妊娠時は反映され易くない"が導かれる
9. 事実4から、推論7: "仮にこの妊娠時は反映され易いということはないなら「余剰農産物でなくて加えて不完全性でない」ということは嘘である"が導かれる
10. 推論6と推論7から、推論8: "「この妊娠時は余剰農産物でなくて更にそれは不完全性でない」ということは事実と異なる"が導かれる
11. [仮定1]と推論8から、推論9: "この妊娠時は寒しとしたら「余剰農産物であるということはなくてまた不完全性でない」ということは事実と異なる"が導かれる
12. 推論9から、仮説が導かれる

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