あの期間等は各指標でない
fact1: もしもあの期間等は起こり難いけれど御挨拶申し上げないなら各指標でない fact2: 何らかのものが御巡りだということはないがしかしそれが各指標だとしたら財務データであるということはない fact3: もし仮にあるものが御挨拶申し上げればそれは渡仏するということはない fact4: もしも「その洒落っ気は起こり難くて御挨拶申し上げる」ということは間違っているとすればあの期間等は御挨拶申し上げない fact5: 「その洒落っ気は起こり難くないがしかしそれは同封する」ということは成り立たない fact6: あの期間等は結婚話でない fact7: もし仮にとある物は同封しなくて更に財務データでないとするとそれは各指標でない fact8: 荒いものは御巡りでない fact9: もし仮に「その道具持ちは渡仏しない」ということは事実なら「その洒落っ気は起こり難いし御挨拶申し上げる」ということは誤っている fact10: もしも何らかのものが荒くないとすると御挨拶申し上げる fact11: もしとあるものが総取りでないとすればイゴール達である fact12: もし「「麗しくないし託しない」ということは間違いな」ものがあるならあの期間等は各指標でない fact13: その洒落っ気が御巡りだということはないならば渡仏するしおまけに起こり難い fact14: その洒落っ気は各指標でない fact15: もしも「「同封しないししかも財務データでない」ということは成り立つということはない」物があるならその洒落っ気は荒くない fact16: もし仮にその洒落っ気が渡仏しないとしたら財務データであるしそれにそれは同封する fact17: あるものは同封しないし更に財務データでない fact18: 「あの期間等は各指標でなくて起こり難くない」ということは事実でない fact19: その洒落っ気は御巡りでない
void -> assump1: 以下のように仮定する。「あの期間等は同封しなくて財務データでない」ということは事実と異なる; assump1 -> int1: 「「同封しないしさらに財務データでない」ということは成り立たない」ものはある; int1 & fact15 -> int2: その洒落っ気は荒くない; fact10 -> int3: もしその洒落っ気が荒くないとしたらそれは御挨拶申し上げる; int2 & int3 -> int4: その洒落っ気は御挨拶申し上げる; fact3 -> int5: もし仮にその洒落っ気が御挨拶申し上げるとするとそれは渡仏しない; int4 & int5 -> int6: その洒落っ気は渡仏しない; fact19 & fact13 -> int7: その洒落っ気は渡仏するし加えて起こり難い; int7 -> int8: その洒落っ気は渡仏する; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの期間等は同封しないし財務データでない; fact7 -> int11: 仮にあの期間等が同封しなくてその上それは財務データでないとしたら各指標だということはない; int10 & int11 -> hypothesis;
あの期間等は各指標だ
$facts$ = fact1: もしもあの期間等は起こり難いけれど御挨拶申し上げないなら各指標でない fact2: 何らかのものが御巡りだということはないがしかしそれが各指標だとしたら財務データであるということはない fact3: もし仮にあるものが御挨拶申し上げればそれは渡仏するということはない fact4: もしも「その洒落っ気は起こり難くて御挨拶申し上げる」ということは間違っているとすればあの期間等は御挨拶申し上げない fact5: 「その洒落っ気は起こり難くないがしかしそれは同封する」ということは成り立たない fact6: あの期間等は結婚話でない fact7: もし仮にとある物は同封しなくて更に財務データでないとするとそれは各指標でない fact8: 荒いものは御巡りでない fact9: もし仮に「その道具持ちは渡仏しない」ということは事実なら「その洒落っ気は起こり難いし御挨拶申し上げる」ということは誤っている fact10: もしも何らかのものが荒くないとすると御挨拶申し上げる fact11: もしとあるものが総取りでないとすればイゴール達である fact12: もし「「麗しくないし託しない」ということは間違いな」ものがあるならあの期間等は各指標でない fact13: その洒落っ気が御巡りだということはないならば渡仏するしおまけに起こり難い fact14: その洒落っ気は各指標でない fact15: もしも「「同封しないししかも財務データでない」ということは成り立つということはない」物があるならその洒落っ気は荒くない fact16: もし仮にその洒落っ気が渡仏しないとしたら財務データであるしそれにそれは同封する fact17: あるものは同封しないし更に財務データでない fact18: 「あの期間等は各指標でなくて起こり難くない」ということは事実でない fact19: その洒落っ気は御巡りでない ; $hypothesis$ = あの期間等は各指標でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの期間等は同封しなくて財務データでない」ということは事実と異なる; assump1 -> int1: 「「同封しないしさらに財務データでない」ということは成り立たない」ものはある; int1 & fact15 -> int2: その洒落っ気は荒くない; fact10 -> int3: もしその洒落っ気が荒くないとしたらそれは御挨拶申し上げる; int2 & int3 -> int4: その洒落っ気は御挨拶申し上げる; fact3 -> int5: もし仮にその洒落っ気が御挨拶申し上げるとするとそれは渡仏しない; int4 & int5 -> int6: その洒落っ気は渡仏しない; fact19 & fact13 -> int7: その洒落っ気は渡仏するし加えて起こり難い; int7 -> int8: その洒落っ気は渡仏する; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの期間等は同封しないし財務データでない; fact7 -> int11: 仮にあの期間等が同封しなくてその上それは財務データでないとしたら各指標だということはない; int10 & int11 -> hypothesis; __PROVED__
事実1: もしもあの期間等は起こり難いけれど御挨拶申し上げないなら各指標でない
事実2: 何らかのものが御巡りだということはないがしかしそれが各指標だとしたら財務データであるということはない
事実3: もし仮にあるものが御挨拶申し上げればそれは渡仏するということはない
事実4: もしも「その洒落っ気は起こり難くて御挨拶申し上げる」ということは間違っているとすればあの期間等は御挨拶申し上げない
事実5: 「その洒落っ気は起こり難くないがしかしそれは同封する」ということは成り立たない
事実6: あの期間等は結婚話でない
事実7: もし仮にとある物は同封しなくて更に財務データでないとするとそれは各指標でない
事実8: 荒いものは御巡りでない
事実9: もし仮に「その道具持ちは渡仏しない」ということは事実なら「その洒落っ気は起こり難いし御挨拶申し上げる」ということは誤っている
事実10: もしも何らかのものが荒くないとすると御挨拶申し上げる
事実11: もしとあるものが総取りでないとすればイゴール達である
事実12: もし「「麗しくないし託しない」ということは間違いな」ものがあるならあの期間等は各指標でない
事実13: その洒落っ気が御巡りだということはないならば渡仏するしおまけに起こり難い
事実14: その洒落っ気は各指標でない
事実15: もしも「「同封しないししかも財務データでない」ということは成り立つということはない」物があるならその洒落っ気は荒くない
事実16: もし仮にその洒落っ気が渡仏しないとしたら財務データであるしそれにそれは同封する
事実17: あるものは同封しないし更に財務データでない
事実18: 「あの期間等は各指標でなくて起こり難くない」ということは事実でない
事実19: その洒落っ気は御巡りでない

仮説: あの期間等は各指標でない
1. 仮定1: 以下のように仮定する。「あの期間等は同封しなくて財務データでない」ということは事実と異なる
2. 仮定1から、推論1: "「「同封しないしさらに財務データでない」ということは成り立たない」ものはある"が導かれる
3. 推論1と事実15から、推論2: "その洒落っ気は荒くない"が導かれる
4. 事実10から、推論3: "もしその洒落っ気が荒くないとしたらそれは御挨拶申し上げる"が導かれる
5. 推論2と推論3から、推論4: "その洒落っ気は御挨拶申し上げる"が導かれる
6. 事実3から、推論5: "もし仮にその洒落っ気が御挨拶申し上げるとするとそれは渡仏しない"が導かれる
7. 推論4と推論5から、推論6: "その洒落っ気は渡仏しない"が導かれる
8. 事実19と事実13から、推論7: "その洒落っ気は渡仏するし加えて起こり難い"が導かれる
9. 推論7から、推論8: "その洒落っ気は渡仏する"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "あの期間等は同封しないし財務データでない"が導かれる
12. 事実7から、推論11: "仮にあの期間等が同封しなくてその上それは財務データでないとしたら各指標だということはない"が導かれる
13. 推論10と推論11から、仮説が導かれる

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