「この人妻秘書は立証しないがそれは其れらしい」ということは成り立たない
fact1: もしとあるものが発起するとしたら乙代だがしかし孤立化しない fact2: とあるものは乙代であるとすると「立証しなくてそれは其れらしい」ということは成り立たない fact3: もしあの観光振興は悪天候であるとしたらそれは立証するかまたは其れらしいということはないかもしくはどちらもだ fact4: もし仮に「この人妻秘書は御偉くないしまた発起しない」ということは成り立たないならばそれは発起する fact5: もしもあの観光振興は刺激し合えば悪天候である fact6: 「この人妻秘書は御偉くないしそれは発起しない」ということは偽だ fact7: もしそのメルシが其れらしくないならばこの意思等は発起するしおまけに御偉い
fact1 -> int1: もしこの人妻秘書が発起するとしたらそれは乙代だがしかし孤立化しない; fact4 & fact6 -> int2: この人妻秘書は発起する; int1 & int2 -> int3: この人妻秘書は乙代であるがしかし孤立化しない; int3 -> int4: 「この人妻秘書は乙代である」ということは成り立つ; fact2 -> int5: もしこの人妻秘書は乙代であるならば「それは立証しないが其れらしい」ということは嘘である; int4 & int5 -> hypothesis;
この意思等は御偉い
$facts$ = fact1: もしとあるものが発起するとしたら乙代だがしかし孤立化しない fact2: とあるものは乙代であるとすると「立証しなくてそれは其れらしい」ということは成り立たない fact3: もしあの観光振興は悪天候であるとしたらそれは立証するかまたは其れらしいということはないかもしくはどちらもだ fact4: もし仮に「この人妻秘書は御偉くないしまた発起しない」ということは成り立たないならばそれは発起する fact5: もしもあの観光振興は刺激し合えば悪天候である fact6: 「この人妻秘書は御偉くないしそれは発起しない」ということは偽だ fact7: もしそのメルシが其れらしくないならばこの意思等は発起するしおまけに御偉い ; $hypothesis$ = 「この人妻秘書は立証しないがそれは其れらしい」ということは成り立たない ; $proof$ = 
fact1 -> int1: もしこの人妻秘書が発起するとしたらそれは乙代だがしかし孤立化しない; fact4 & fact6 -> int2: この人妻秘書は発起する; int1 & int2 -> int3: この人妻秘書は乙代であるがしかし孤立化しない; int3 -> int4: 「この人妻秘書は乙代である」ということは成り立つ; fact2 -> int5: もしこの人妻秘書は乙代であるならば「それは立証しないが其れらしい」ということは嘘である; int4 & int5 -> hypothesis; __PROVED__
事実1: もしとあるものが発起するとしたら乙代だがしかし孤立化しない
事実2: とあるものは乙代であるとすると「立証しなくてそれは其れらしい」ということは成り立たない
事実3: もしあの観光振興は悪天候であるとしたらそれは立証するかまたは其れらしいということはないかもしくはどちらもだ
事実4: もし仮に「この人妻秘書は御偉くないしまた発起しない」ということは成り立たないならばそれは発起する
事実5: もしもあの観光振興は刺激し合えば悪天候である
事実6: 「この人妻秘書は御偉くないしそれは発起しない」ということは偽だ
事実7: もしそのメルシが其れらしくないならばこの意思等は発起するしおまけに御偉い

仮説: 「この人妻秘書は立証しないがそれは其れらしい」ということは成り立たない
1. 事実1から、推論1: "もしこの人妻秘書が発起するとしたらそれは乙代だがしかし孤立化しない"が導かれる
2. 事実4と事実6から、推論2: "この人妻秘書は発起する"が導かれる
3. 推論1と推論2から、推論3: "この人妻秘書は乙代であるがしかし孤立化しない"が導かれる
4. 推論3から、推論4: "「この人妻秘書は乙代である」ということは成り立つ"が導かれる
5. 事実2から、推論5: "もしこの人妻秘書は乙代であるならば「それは立証しないが其れらしい」ということは嘘である"が導かれる
6. 推論4と推論5から、仮説が導かれる

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