その御まんはかなぐり捨てるということはない
fact1: あの参道は詐欺的行為である fact2: そのヴァージニア会社は詐欺的行為だ fact3: もし仮になにかは周遊するとするとそれは大躍進する fact4: もし仮にこの名人は崩壊すれば「その民権結社は首尾良くないけれどそれは大躍進する」ということは偽だ fact5: もしも「あの信長公記は唱え始めない」ということは成り立つとしたらこの名人は容易いし厚着である fact6: 「あの参道は首尾良くないけど大躍進する」ということは偽である fact7: 容易いものは崩壊する fact8: あの参道は周遊するししかもそれは詐欺的行為だ fact9: このオープン・アクセスは浅ましい fact10: このオープン・アクセスが浅ましくて更に全面協力するとするとあの信長公記は唱え始めない fact11: あの聞経は崩壊する fact12: あの参道は崩壊する fact13: その御まんはマスコミ発表だということはない一方で変換出来る fact14: もしも「その民権結社は首尾良くないがしかしそれは大躍進する」ということは誤りであるならばあの参道は詐欺的行為である fact15: 仮にあの参道が首尾良くてそれに崩壊するとしたらその御まんはかなぐり捨てるということはない
fact8 -> int1: 「あの参道は周遊する」ということは事実である; fact3 -> int2: もしも「あの参道は周遊する」ということは確かならばそれは大躍進する; int1 & int2 -> int3: あの参道は大躍進する; void -> assump1: 以下のように仮定する。「あの参道は首尾良くない」ということは真実である; int3 & assump1 -> int4: あの参道は首尾良くないけど大躍進する; int4 & fact6 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの参道は首尾良い; int6 & fact12 -> int7: あの参道は首尾良くて崩壊する; int7 & fact15 -> hypothesis;
その御まんはかなぐり捨てる
fact16 -> int8: 「この名人は容易い」ということは確かだとすれば「それは崩壊する」ということは真実である;
$facts$ = fact1: あの参道は詐欺的行為である fact2: そのヴァージニア会社は詐欺的行為だ fact3: もし仮になにかは周遊するとするとそれは大躍進する fact4: もし仮にこの名人は崩壊すれば「その民権結社は首尾良くないけれどそれは大躍進する」ということは偽だ fact5: もしも「あの信長公記は唱え始めない」ということは成り立つとしたらこの名人は容易いし厚着である fact6: 「あの参道は首尾良くないけど大躍進する」ということは偽である fact7: 容易いものは崩壊する fact8: あの参道は周遊するししかもそれは詐欺的行為だ fact9: このオープン・アクセスは浅ましい fact10: このオープン・アクセスが浅ましくて更に全面協力するとするとあの信長公記は唱え始めない fact11: あの聞経は崩壊する fact12: あの参道は崩壊する fact13: その御まんはマスコミ発表だということはない一方で変換出来る fact14: もしも「その民権結社は首尾良くないがしかしそれは大躍進する」ということは誤りであるならばあの参道は詐欺的行為である fact15: 仮にあの参道が首尾良くてそれに崩壊するとしたらその御まんはかなぐり捨てるということはない ; $hypothesis$ = その御まんはかなぐり捨てるということはない ; $proof$ = 
fact8 -> int1: 「あの参道は周遊する」ということは事実である; fact3 -> int2: もしも「あの参道は周遊する」ということは確かならばそれは大躍進する; int1 & int2 -> int3: あの参道は大躍進する; void -> assump1: 以下のように仮定する。「あの参道は首尾良くない」ということは真実である; int3 & assump1 -> int4: あの参道は首尾良くないけど大躍進する; int4 & fact6 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの参道は首尾良い; int6 & fact12 -> int7: あの参道は首尾良くて崩壊する; int7 & fact15 -> hypothesis; __PROVED__
事実1: あの参道は詐欺的行為である
事実2: そのヴァージニア会社は詐欺的行為だ
事実3: もし仮になにかは周遊するとするとそれは大躍進する
事実4: もし仮にこの名人は崩壊すれば「その民権結社は首尾良くないけれどそれは大躍進する」ということは偽だ
事実5: もしも「あの信長公記は唱え始めない」ということは成り立つとしたらこの名人は容易いし厚着である
事実6: 「あの参道は首尾良くないけど大躍進する」ということは偽である
事実7: 容易いものは崩壊する
事実8: あの参道は周遊するししかもそれは詐欺的行為だ
事実9: このオープン・アクセスは浅ましい
事実10: このオープン・アクセスが浅ましくて更に全面協力するとするとあの信長公記は唱え始めない
事実11: あの聞経は崩壊する
事実12: あの参道は崩壊する
事実13: その御まんはマスコミ発表だということはない一方で変換出来る
事実14: もしも「その民権結社は首尾良くないがしかしそれは大躍進する」ということは誤りであるならばあの参道は詐欺的行為である
事実15: 仮にあの参道が首尾良くてそれに崩壊するとしたらその御まんはかなぐり捨てるということはない

仮説: その御まんはかなぐり捨てるということはない
1. 事実8から、推論1: "「あの参道は周遊する」ということは事実である"が導かれる
2. 事実3から、推論2: "もしも「あの参道は周遊する」ということは確かならばそれは大躍進する"が導かれる
3. 推論1と推論2から、推論3: "あの参道は大躍進する"が導かれる
4. 仮定1: 以下のように仮定する。「あの参道は首尾良くない」ということは真実である
5. 推論3と仮定1から、推論4: "あの参道は首尾良くないけど大躍進する"が導かれる
6. 推論4と事実6から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの参道は首尾良い"が導かれる
8. 推論6と事実12から、推論7: "あの参道は首尾良くて崩壊する"が導かれる
9. 推論7と事実15から、仮説が導かれる

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