「あの名義書き替え料は確保出来ないがしかし出来難い」ということは正しい
fact1: あの名義書き替え料は似付かわしくらない fact2: もし仮にとあるものが確保出来るとするとそれは似付かわしくらなくて育て易くない fact3: もし仮に「何かは引き締めるしかつ駆け下りる」ということは偽であるならば駆け下りない fact4: 「あの名義書き替え料は似付かわしいということはないしそれは育て易いということはない」ということは真実ならばそれは駆け下りる fact5: もしあの環境ＮＧＯが出来難くないかまたはフォークダンスであるかどちらもであるとすればあの名義書き替え料は出来難い fact6: 仮にあの名義書き替え料が雨夜であるということはないしそれはフォークダンスでないとしたらそれは出来難い fact7: このＸ線診断は米国株式市場でないが雨夜だ fact8: あの環境ＮＧＯは出来難くないかまたはフォークダンスであるかあるいはどちらもである fact9: あの環境ＮＧＯは雨夜でない fact10: あの環境ＮＧＯは米国株式市場である fact11: 「あの環境ＮＧＯは育て易い」ということは成り立つ fact12: 仮に「あの環境ＮＧＯは出来難い」ということは事実であるとすれば似付かわしくらない fact13: もし仮になにがしかの物が引き締めるならそれは米国株式市場だ fact14: もしあの名義書き替え料が駆け下りるならこのＸ線診断は引き締める
fact2 -> int1: もしもあの名義書き替え料が確保出来るとしたら似付かわしくらなくて加えてそれは育て易くない; void -> assump1: 以下のように仮定する。あの名義書き替え料は確保出来る; int1 & assump1 -> int2: あの名義書き替え料は似付かわしくらないし更に育て易いということはない; int2 & fact4 -> int3: あの名義書き替え料は駆け下りる; int3 & fact14 -> int4: このＸ線診断は引き締める; fact13 -> int5: もし仮に「このＸ線診断は引き締める」ということは真実であるならばそれは米国株式市場だ; int4 & int5 -> int6: このＸ線診断は米国株式市場だ; fact7 -> int7: このＸ線診断は米国株式市場でない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの名義書き替え料は確保出来ない; fact5 & fact8 -> int10: あの名義書き替え料は出来難い; int9 & int10 -> hypothesis;
「あの名義書き替え料は確保出来ないがしかし出来難い」ということは正しくない
fact15 -> int11: 「あの名義書き替え料は引き締めるしかつ駆け下りる」ということは真実でないならば駆け下りない;
$facts$ = fact1: あの名義書き替え料は似付かわしくらない fact2: もし仮にとあるものが確保出来るとするとそれは似付かわしくらなくて育て易くない fact3: もし仮に「何かは引き締めるしかつ駆け下りる」ということは偽であるならば駆け下りない fact4: 「あの名義書き替え料は似付かわしいということはないしそれは育て易いということはない」ということは真実ならばそれは駆け下りる fact5: もしあの環境ＮＧＯが出来難くないかまたはフォークダンスであるかどちらもであるとすればあの名義書き替え料は出来難い fact6: 仮にあの名義書き替え料が雨夜であるということはないしそれはフォークダンスでないとしたらそれは出来難い fact7: このＸ線診断は米国株式市場でないが雨夜だ fact8: あの環境ＮＧＯは出来難くないかまたはフォークダンスであるかあるいはどちらもである fact9: あの環境ＮＧＯは雨夜でない fact10: あの環境ＮＧＯは米国株式市場である fact11: 「あの環境ＮＧＯは育て易い」ということは成り立つ fact12: 仮に「あの環境ＮＧＯは出来難い」ということは事実であるとすれば似付かわしくらない fact13: もし仮になにがしかの物が引き締めるならそれは米国株式市場だ fact14: もしあの名義書き替え料が駆け下りるならこのＸ線診断は引き締める ; $hypothesis$ = 「あの名義書き替え料は確保出来ないがしかし出来難い」ということは正しい ; $proof$ = 
fact2 -> int1: もしもあの名義書き替え料が確保出来るとしたら似付かわしくらなくて加えてそれは育て易くない; void -> assump1: 以下のように仮定する。あの名義書き替え料は確保出来る; int1 & assump1 -> int2: あの名義書き替え料は似付かわしくらないし更に育て易いということはない; int2 & fact4 -> int3: あの名義書き替え料は駆け下りる; int3 & fact14 -> int4: このＸ線診断は引き締める; fact13 -> int5: もし仮に「このＸ線診断は引き締める」ということは真実であるならばそれは米国株式市場だ; int4 & int5 -> int6: このＸ線診断は米国株式市場だ; fact7 -> int7: このＸ線診断は米国株式市場でない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの名義書き替え料は確保出来ない; fact5 & fact8 -> int10: あの名義書き替え料は出来難い; int9 & int10 -> hypothesis; __PROVED__
事実1: あの名義書き替え料は似付かわしくらない
事実2: もし仮にとあるものが確保出来るとするとそれは似付かわしくらなくて育て易くない
事実3: もし仮に「何かは引き締めるしかつ駆け下りる」ということは偽であるならば駆け下りない
事実4: 「あの名義書き替え料は似付かわしいということはないしそれは育て易いということはない」ということは真実ならばそれは駆け下りる
事実5: もしあの環境ＮＧＯが出来難くないかまたはフォークダンスであるかどちらもであるとすればあの名義書き替え料は出来難い
事実6: 仮にあの名義書き替え料が雨夜であるということはないしそれはフォークダンスでないとしたらそれは出来難い
事実7: このＸ線診断は米国株式市場でないが雨夜だ
事実8: あの環境ＮＧＯは出来難くないかまたはフォークダンスであるかあるいはどちらもである
事実9: あの環境ＮＧＯは雨夜でない
事実10: あの環境ＮＧＯは米国株式市場である
事実11: 「あの環境ＮＧＯは育て易い」ということは成り立つ
事実12: 仮に「あの環境ＮＧＯは出来難い」ということは事実であるとすれば似付かわしくらない
事実13: もし仮になにがしかの物が引き締めるならそれは米国株式市場だ
事実14: もしあの名義書き替え料が駆け下りるならこのＸ線診断は引き締める

仮説: 「あの名義書き替え料は確保出来ないがしかし出来難い」ということは正しい
1. 事実2から、推論1: "もしもあの名義書き替え料が確保出来るとしたら似付かわしくらなくて加えてそれは育て易くない"が導かれる
2. 仮定1: 以下のように仮定する。あの名義書き替え料は確保出来る
3. 推論1と仮定1から、推論2: "あの名義書き替え料は似付かわしくらないし更に育て易いということはない"が導かれる
4. 推論2と事実4から、推論3: "あの名義書き替え料は駆け下りる"が導かれる
5. 推論3と事実14から、推論4: "このＸ線診断は引き締める"が導かれる
6. 事実13から、推論5: "もし仮に「このＸ線診断は引き締める」ということは真実であるならばそれは米国株式市場だ"が導かれる
7. 推論4と推論5から、推論6: "このＸ線診断は米国株式市場だ"が導かれる
8. 事実7から、推論7: "このＸ線診断は米国株式市場でない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの名義書き替え料は確保出来ない"が導かれる
11. 事実5と事実8から、推論10: "あの名義書き替え料は出来難い"が導かれる
12. 推論9と推論10から、仮説が導かれる

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