その確立者は動かし難くない
fact1: もしもあの持ち合わせがＤＲでないけれどそれが御出で下さるとしたらあの出力抵抗は吹き荒れる fact2: もし仮にある物が脱ぐなら広まり始めるということはない fact3: その確立者は見聞き日記だ fact4: もしもなにかは御出で下さるとするとそれは広まり始めないしおまけに見聞き日記である fact5: もしあの拮抗筋はＤＲであるし脱ぐならそれは御出で下さらない fact6: その確立者が広まり始めるしそれにそれが見聞き日記ならばあの出力抵抗は吹き荒れない fact7: あの持ち合わせは脱ぐ fact8: 動かし難い物は六〜八人でない fact9: 動かし難い物は六〜八人でないけれど広まり始める fact10: その確立者は脱がない fact11: あの拮抗筋はＤＲだ fact12: もし仮にあの持ち合わせが脱げばＤＲであるということはないしその上それは御出で下さる fact13: あの七夕様は脱ぐ fact14: もし仮に何らかのものが御出で下さらないとしたらその十三戦は見聞き日記であるし吹き荒れる fact15: 仮にあの持ち合わせは御出で下さるがしかし脱がないとすると「あの出力抵抗は御出で下さらない」ということは真実である fact16: あの出力抵抗は動かし難い fact17: その幻想交響曲は切り開けないが吹き荒れる fact18: あの拮抗筋は脱ぐ fact19: その量感は吹き荒れる
fact9 -> int1: もしその確立者が動かし難いとしたらそれは六〜八人でなくてそれは広まり始める; void -> assump1: 以下のように仮定する。「その確立者は動かし難い」ということは成り立つ; int1 & assump1 -> int2: その確立者は六〜八人でないが広まり始める; int2 -> int3: その確立者は広まり始める; int3 & fact3 -> int4: その確立者は広まり始めるし更に見聞き日記だ; int4 & fact6 -> int5: あの出力抵抗は吹き荒れるということはない; fact12 & fact7 -> int6: あの持ち合わせはＤＲでないけど御出で下さる; int6 & fact1 -> int7: あの出力抵抗は吹き荒れる; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
その確立者は動かし難い
$facts$ = fact1: もしもあの持ち合わせがＤＲでないけれどそれが御出で下さるとしたらあの出力抵抗は吹き荒れる fact2: もし仮にある物が脱ぐなら広まり始めるということはない fact3: その確立者は見聞き日記だ fact4: もしもなにかは御出で下さるとするとそれは広まり始めないしおまけに見聞き日記である fact5: もしあの拮抗筋はＤＲであるし脱ぐならそれは御出で下さらない fact6: その確立者が広まり始めるしそれにそれが見聞き日記ならばあの出力抵抗は吹き荒れない fact7: あの持ち合わせは脱ぐ fact8: 動かし難い物は六〜八人でない fact9: 動かし難い物は六〜八人でないけれど広まり始める fact10: その確立者は脱がない fact11: あの拮抗筋はＤＲだ fact12: もし仮にあの持ち合わせが脱げばＤＲであるということはないしその上それは御出で下さる fact13: あの七夕様は脱ぐ fact14: もし仮に何らかのものが御出で下さらないとしたらその十三戦は見聞き日記であるし吹き荒れる fact15: 仮にあの持ち合わせは御出で下さるがしかし脱がないとすると「あの出力抵抗は御出で下さらない」ということは真実である fact16: あの出力抵抗は動かし難い fact17: その幻想交響曲は切り開けないが吹き荒れる fact18: あの拮抗筋は脱ぐ fact19: その量感は吹き荒れる ; $hypothesis$ = その確立者は動かし難くない ; $proof$ = 
fact9 -> int1: もしその確立者が動かし難いとしたらそれは六〜八人でなくてそれは広まり始める; void -> assump1: 以下のように仮定する。「その確立者は動かし難い」ということは成り立つ; int1 & assump1 -> int2: その確立者は六〜八人でないが広まり始める; int2 -> int3: その確立者は広まり始める; int3 & fact3 -> int4: その確立者は広まり始めるし更に見聞き日記だ; int4 & fact6 -> int5: あの出力抵抗は吹き荒れるということはない; fact12 & fact7 -> int6: あの持ち合わせはＤＲでないけど御出で下さる; int6 & fact1 -> int7: あの出力抵抗は吹き荒れる; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もしもあの持ち合わせがＤＲでないけれどそれが御出で下さるとしたらあの出力抵抗は吹き荒れる
事実2: もし仮にある物が脱ぐなら広まり始めるということはない
事実3: その確立者は見聞き日記だ
事実4: もしもなにかは御出で下さるとするとそれは広まり始めないしおまけに見聞き日記である
事実5: もしあの拮抗筋はＤＲであるし脱ぐならそれは御出で下さらない
事実6: その確立者が広まり始めるしそれにそれが見聞き日記ならばあの出力抵抗は吹き荒れない
事実7: あの持ち合わせは脱ぐ
事実8: 動かし難い物は六〜八人でない
事実9: 動かし難い物は六〜八人でないけれど広まり始める
事実10: その確立者は脱がない
事実11: あの拮抗筋はＤＲだ
事実12: もし仮にあの持ち合わせが脱げばＤＲであるということはないしその上それは御出で下さる
事実13: あの七夕様は脱ぐ
事実14: もし仮に何らかのものが御出で下さらないとしたらその十三戦は見聞き日記であるし吹き荒れる
事実15: 仮にあの持ち合わせは御出で下さるがしかし脱がないとすると「あの出力抵抗は御出で下さらない」ということは真実である
事実16: あの出力抵抗は動かし難い
事実17: その幻想交響曲は切り開けないが吹き荒れる
事実18: あの拮抗筋は脱ぐ
事実19: その量感は吹き荒れる

仮説: その確立者は動かし難くない
1. 事実9から、推論1: "もしその確立者が動かし難いとしたらそれは六〜八人でなくてそれは広まり始める"が導かれる
2. 仮定1: 以下のように仮定する。「その確立者は動かし難い」ということは成り立つ
3. 推論1と仮定1から、推論2: "その確立者は六〜八人でないが広まり始める"が導かれる
4. 推論2から、推論3: "その確立者は広まり始める"が導かれる
5. 推論3と事実3から、推論4: "その確立者は広まり始めるし更に見聞き日記だ"が導かれる
6. 推論4と事実6から、推論5: "あの出力抵抗は吹き荒れるということはない"が導かれる
7. 事実12と事実7から、推論6: "あの持ち合わせはＤＲでないけど御出で下さる"が導かれる
8. 推論6と事実1から、推論7: "あの出力抵抗は吹き荒れる"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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