この限界費用和が講ずとするとこのサプライサイドは見極め難い
fact1: この限界費用和はやばい fact2: 仮にこの限界費用和が講ずとすればあのサプライサイドはやばいけれどそれは繋ぎ合わせない fact3: もしこのサプライサイドは再定義であるとしたら「それは勝ち点だ」ということは成り立つ fact4: 仮にこの限界費用和は講ずとすると「このサプライサイドは繋ぎ合わせない」ということは本当である fact5: この限界費用和は見極め難い fact6: もしもあるものがやばいとするとそれは見極め難い fact7: この限界費用和は自粛する fact8: あの若田若里は講ず fact9: このサプライサイドは経済産業大臣である fact10: このサプライサイドは繋ぎ合わせない fact11: 仮にこのサプライサイドがやばいとしたら講ず fact12: この場所打ちコンクリートは捨て難いけれど繋ぎ合わせるということはない fact13: もしもこのサプライサイドが繋ぎ合わせるならそれは講ず fact14: この限界費用和は繋ぎ合わせる
void -> assump1: 以下のように仮定する。この限界費用和は講ず; fact2 & assump1 -> int1: このサプライサイドはやばい一方でそれは繋ぎ合わせない; int1 -> int2: 「このサプライサイドはやばい」ということは成り立つ; fact6 -> int3: もし仮にこのサプライサイドはやばいとすれば「見極め難い」ということは確かだ; int2 & int3 -> int4: このサプライサイドは見極め難い; [assump1] & int4 -> hypothesis;
$facts$ = fact1: この限界費用和はやばい fact2: 仮にこの限界費用和が講ずとすればあのサプライサイドはやばいけれどそれは繋ぎ合わせない fact3: もしこのサプライサイドは再定義であるとしたら「それは勝ち点だ」ということは成り立つ fact4: 仮にこの限界費用和は講ずとすると「このサプライサイドは繋ぎ合わせない」ということは本当である fact5: この限界費用和は見極め難い fact6: もしもあるものがやばいとするとそれは見極め難い fact7: この限界費用和は自粛する fact8: あの若田若里は講ず fact9: このサプライサイドは経済産業大臣である fact10: このサプライサイドは繋ぎ合わせない fact11: 仮にこのサプライサイドがやばいとしたら講ず fact12: この場所打ちコンクリートは捨て難いけれど繋ぎ合わせるということはない fact13: もしもこのサプライサイドが繋ぎ合わせるならそれは講ず fact14: この限界費用和は繋ぎ合わせる ; $hypothesis$ = この限界費用和が講ずとするとこのサプライサイドは見極め難い ; $proof$ = 
void -> assump1: 以下のように仮定する。この限界費用和は講ず; fact2 & assump1 -> int1: このサプライサイドはやばい一方でそれは繋ぎ合わせない; int1 -> int2: 「このサプライサイドはやばい」ということは成り立つ; fact6 -> int3: もし仮にこのサプライサイドはやばいとすれば「見極め難い」ということは確かだ; int2 & int3 -> int4: このサプライサイドは見極め難い; [assump1] & int4 -> hypothesis; __PROVED__
事実1: この限界費用和はやばい
事実2: 仮にこの限界費用和が講ずとすればあのサプライサイドはやばいけれどそれは繋ぎ合わせない
事実3: もしこのサプライサイドは再定義であるとしたら「それは勝ち点だ」ということは成り立つ
事実4: 仮にこの限界費用和は講ずとすると「このサプライサイドは繋ぎ合わせない」ということは本当である
事実5: この限界費用和は見極め難い
事実6: もしもあるものがやばいとするとそれは見極め難い
事実7: この限界費用和は自粛する
事実8: あの若田若里は講ず
事実9: このサプライサイドは経済産業大臣である
事実10: このサプライサイドは繋ぎ合わせない
事実11: 仮にこのサプライサイドがやばいとしたら講ず
事実12: この場所打ちコンクリートは捨て難いけれど繋ぎ合わせるということはない
事実13: もしもこのサプライサイドが繋ぎ合わせるならそれは講ず
事実14: この限界費用和は繋ぎ合わせる

仮説: この限界費用和が講ずとするとこのサプライサイドは見極め難い
1. 仮定1: 以下のように仮定する。この限界費用和は講ず
2. 事実2と仮定1から、推論1: "このサプライサイドはやばい一方でそれは繋ぎ合わせない"が導かれる
3. 推論1から、推論2: "「このサプライサイドはやばい」ということは成り立つ"が導かれる
4. 事実6から、推論3: "もし仮にこのサプライサイドはやばいとすれば「見極め難い」ということは確かだ"が導かれる
5. 推論2と推論3から、推論4: "このサプライサイドは見極め難い"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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