そのＥＡ点は満喫しなくてそれに謡いでない
fact1: この不真正不作為犯はエクイティ・ファイナンスでないとしたら「そのＥＡ点は掴み切れるということはないが迷惑がる」ということは事実と異なる fact2: もしも「この青系はエクイティ・ファイナンスでないし効率化しない」ということは事実ならこの不真正不作為犯はエクイティ・ファイナンスでない fact3: 仮に「この不真正不作為犯は掴み切れないけれど愚かしい」ということは成り立たないなら「それは塗り易い」ということは真実である fact4: もし「何らかのものは掴み切れる」ということは確かであるならば満喫しなくてしかも塗り易くない fact5: もし仮に愚かしい物が素早いとしたらそれは謡いでない fact6: 仮にこの不真正不作為犯は塗り易いとすれば「そのＥＡ点は満喫しなくて加えてそれは謡いでない」ということは誤りだ fact7: 「「古銭であるがしかし目標実現だということはない」ということは偽である」物はある fact8: もしなにがしかのものは治験分担医師でないとしたら相応するが素早くない fact9: この青系はエクイティ・ファイナンスであるということはなくて効率化しない fact10: そのＥＡ点は愚かしい fact11: なにかは遺伝性疾患でない一方で漕げるなら愚かしくない fact12: もしもそのしょんべんは愚かしくないならば「この不真正不作為犯は掴み切れるということはないけれど愚かしい」ということは成り立たない fact13: そのしょんべんが相応するけどそれが素早いということはないならそのＥＡ点は素早い fact14: そのしょんべんは素早い fact15: もしも「とある物は掴み切れるということはないけれど迷惑がる」ということは誤っているとしたら掴み切れる fact16: もし「そのしょんべんは遺伝性疾患でないがそれは漕げる」ということは偽であるとすると素早くない
void -> assump1: 以下のように仮定する。「そのしょんべんは遺伝性疾患でないが漕げる」ということは間違いだ; fact16 & assump1 -> int1: そのしょんべんは素早くない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのしょんべんは遺伝性疾患でないけど漕げる; fact11 -> int4: もし仮にそのしょんべんが遺伝性疾患でないがしかし漕げるとしたら愚かしくない; int3 & int4 -> int5: そのしょんべんは愚かしいということはない; int5 & fact12 -> int6: 「この不真正不作為犯は掴み切れるということはないが愚かしい」ということは事実でない; int6 & fact3 -> int7: この不真正不作為犯は塗り易い; int7 & fact6 -> hypothesis;
「そのＥＡ点は満喫しないし謡いでない」ということは確かである
fact23 -> int8: もし仮にそのＥＡ点が掴み切れるなら満喫しなくて更に塗り易くない; fact25 -> int9: もし仮に「そのＥＡ点は掴み切れないがしかしそれは迷惑がる」ということは成り立つということはないとすればそれは掴み切れる; fact20 & fact21 -> int10: この不真正不作為犯はエクイティ・ファイナンスでない; fact18 & int10 -> int11: 「「そのＥＡ点は掴み切れないが迷惑がる」ということは事実だ」ということは間違っている; int9 & int11 -> int12: そのＥＡ点は掴み切れる; int8 & int12 -> int13: そのＥＡ点は満喫しないしさらに塗り易いということはない; int13 -> int14: そのＥＡ点は満喫するということはない; fact17 -> int15: もし仮にそのＥＡ点が愚かしくておまけに素早いならばそれは謡いでない; fact26 -> int16: そのしょんべんが治験分担医師でないとしたら相応するしその上それは素早くない;
$facts$ = fact1: この不真正不作為犯はエクイティ・ファイナンスでないとしたら「そのＥＡ点は掴み切れるということはないが迷惑がる」ということは事実と異なる fact2: もしも「この青系はエクイティ・ファイナンスでないし効率化しない」ということは事実ならこの不真正不作為犯はエクイティ・ファイナンスでない fact3: 仮に「この不真正不作為犯は掴み切れないけれど愚かしい」ということは成り立たないなら「それは塗り易い」ということは真実である fact4: もし「何らかのものは掴み切れる」ということは確かであるならば満喫しなくてしかも塗り易くない fact5: もし仮に愚かしい物が素早いとしたらそれは謡いでない fact6: 仮にこの不真正不作為犯は塗り易いとすれば「そのＥＡ点は満喫しなくて加えてそれは謡いでない」ということは誤りだ fact7: 「「古銭であるがしかし目標実現だということはない」ということは偽である」物はある fact8: もしなにがしかのものは治験分担医師でないとしたら相応するが素早くない fact9: この青系はエクイティ・ファイナンスであるということはなくて効率化しない fact10: そのＥＡ点は愚かしい fact11: なにかは遺伝性疾患でない一方で漕げるなら愚かしくない fact12: もしもそのしょんべんは愚かしくないならば「この不真正不作為犯は掴み切れるということはないけれど愚かしい」ということは成り立たない fact13: そのしょんべんが相応するけどそれが素早いということはないならそのＥＡ点は素早い fact14: そのしょんべんは素早い fact15: もしも「とある物は掴み切れるということはないけれど迷惑がる」ということは誤っているとしたら掴み切れる fact16: もし「そのしょんべんは遺伝性疾患でないがそれは漕げる」ということは偽であるとすると素早くない ; $hypothesis$ = そのＥＡ点は満喫しなくてそれに謡いでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのしょんべんは遺伝性疾患でないが漕げる」ということは間違いだ; fact16 & assump1 -> int1: そのしょんべんは素早くない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのしょんべんは遺伝性疾患でないけど漕げる; fact11 -> int4: もし仮にそのしょんべんが遺伝性疾患でないがしかし漕げるとしたら愚かしくない; int3 & int4 -> int5: そのしょんべんは愚かしいということはない; int5 & fact12 -> int6: 「この不真正不作為犯は掴み切れるということはないが愚かしい」ということは事実でない; int6 & fact3 -> int7: この不真正不作為犯は塗り易い; int7 & fact6 -> hypothesis; __DISPROVED__
事実1: この不真正不作為犯はエクイティ・ファイナンスでないとしたら「そのＥＡ点は掴み切れるということはないが迷惑がる」ということは事実と異なる
事実2: もしも「この青系はエクイティ・ファイナンスでないし効率化しない」ということは事実ならこの不真正不作為犯はエクイティ・ファイナンスでない
事実3: 仮に「この不真正不作為犯は掴み切れないけれど愚かしい」ということは成り立たないなら「それは塗り易い」ということは真実である
事実4: もし「何らかのものは掴み切れる」ということは確かであるならば満喫しなくてしかも塗り易くない
事実5: もし仮に愚かしい物が素早いとしたらそれは謡いでない
事実6: 仮にこの不真正不作為犯は塗り易いとすれば「そのＥＡ点は満喫しなくて加えてそれは謡いでない」ということは誤りだ
事実7: 「「古銭であるがしかし目標実現だということはない」ということは偽である」物はある
事実8: もしなにがしかのものは治験分担医師でないとしたら相応するが素早くない
事実9: この青系はエクイティ・ファイナンスであるということはなくて効率化しない
事実10: そのＥＡ点は愚かしい
事実11: なにかは遺伝性疾患でない一方で漕げるなら愚かしくない
事実12: もしもそのしょんべんは愚かしくないならば「この不真正不作為犯は掴み切れるということはないけれど愚かしい」ということは成り立たない
事実13: そのしょんべんが相応するけどそれが素早いということはないならそのＥＡ点は素早い
事実14: そのしょんべんは素早い
事実15: もしも「とある物は掴み切れるということはないけれど迷惑がる」ということは誤っているとしたら掴み切れる
事実16: もし「そのしょんべんは遺伝性疾患でないがそれは漕げる」ということは偽であるとすると素早くない

仮説: そのＥＡ点は満喫しなくてそれに謡いでない
1. 仮定1: 以下のように仮定する。「そのしょんべんは遺伝性疾患でないが漕げる」ということは間違いだ
2. 事実16と仮定1から、推論1: "そのしょんべんは素早くない"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "そのしょんべんは遺伝性疾患でないけど漕げる"が導かれる
5. 事実11から、推論4: "もし仮にそのしょんべんが遺伝性疾患でないがしかし漕げるとしたら愚かしくない"が導かれる
6. 推論3と推論4から、推論5: "そのしょんべんは愚かしいということはない"が導かれる
7. 推論5と事実12から、推論6: "「この不真正不作為犯は掴み切れるということはないが愚かしい」ということは事実でない"が導かれる
8. 推論6と事実3から、推論7: "この不真正不作為犯は塗り易い"が導かれる
9. 推論7と事実6から、仮説が否定される

よって、仮説が否定されました。