「あの記述内容は立候補するしまたジュラバだ」ということは成り立たない
fact1: もしも集め易いものは差し出がましかないとすれば「それは引き立てない」ということは真実だ fact2: あの記述内容はジュラバである fact3: その門柱はジュラバである fact4: もし仮にあのエアーマックは加え混ぜないとすると「芸風であるししかも荒廃する」ということは確かだ fact5: なんらかの物が輸出国でないしその上根絶しないならばそれは後ろ暗い fact6: もし仮にその一月頃が後ろ暗いならあの記述内容は集め易い一方で差し出がましかない fact7: この御手洗いは引き立てる fact8: この三角洲は差し出がましい fact9: もし仮にその門柱が立候補するとするとそれは差し出がましい fact10: もしもなんらかの物が強制執行しないとしたらそれは輸出国でないし根絶するということはない fact11: もし仮になんらかのものは引き立てないならば「「それは立候補するしジュラバである」ということは成り立つ」ということは偽だ fact12: 「あの沼田公園駐車場利用は加え混ぜるということはないかもしくは草の根通信であるかもしくは両方ともだ」ということは嘘だ fact13: 何かは引き立てればそれは差し出がましい fact14: もしもあの氷水が易しいならばあのエアーマックは易しい fact15: あの記述内容は差し出がましい fact16: 易しい芸風は乗り易くない fact17: 「その最下天は強制執行しないが伴い易い」ということは嘘であるならばその一月頃は強制執行しない fact18: 仮にその門柱が集め易いならばあの記述内容は立候補する fact19: その門柱はジュラバだけれど後ろ暗くない fact20: 仮にその門柱が長ずとしたらそれは生活困窮である fact21: その門柱は引き立てるがしかし後ろ暗くない fact22: もし「あの沼田公園駐車場利用は加え混ぜないかあるいは草の根通信であるかまたは両方だ」ということは成り立たないとするとあのエアーマックは加え混ぜない fact23: あのエアーマックは乗り易くないとしたら「その最下天は強制執行しない一方でそれは伴い易い」ということは偽だ fact24: 「その門柱は後ろ暗くない」ということは成り立つ fact25: 差し出がましい物は集め易い
fact13 -> int1: 仮に「その門柱は引き立てる」ということは成り立つならそれは差し出がましい; fact21 -> int2: その門柱は引き立てる; int1 & int2 -> int3: その門柱は差し出がましい; fact25 -> int4: 「もしもその門柱が差し出がましいならばその門柱は集め易い」ということは事実である; int3 & int4 -> int5: その門柱は集め易い; int5 & fact18 -> int6: あの記述内容は立候補する; int6 & fact2 -> hypothesis;
「あの記述内容は立候補するしおまけにそれはジュラバだ」ということは成り立たない
fact28 -> int7: 仮にあの記述内容は引き立てないとすれば「立候補するしジュラバである」ということは事実と異なる; fact36 -> int8: もしもあの記述内容が集め易いけどそれが差し出がましかないとすれば引き立てない; fact26 -> int9: その一月頃は輸出国でなくて加えて根絶しないとしたら後ろ暗い; fact27 -> int10: その一月頃は強制執行しないとすると「それは輸出国でなくて根絶しない」ということは本当である; fact31 -> int11: 仮に「あのエアーマックは芸風であるしかつ易しい」ということは真実だとすると乗り易くない; fact32 & fact37 -> int12: あのエアーマックは加え混ぜない; fact35 & int12 -> int13: あのエアーマックが芸風だしそれは荒廃する; int13 -> int14: あのエアーマックは芸風だ;
$facts$ = fact1: もしも集め易いものは差し出がましかないとすれば「それは引き立てない」ということは真実だ fact2: あの記述内容はジュラバである fact3: その門柱はジュラバである fact4: もし仮にあのエアーマックは加え混ぜないとすると「芸風であるししかも荒廃する」ということは確かだ fact5: なんらかの物が輸出国でないしその上根絶しないならばそれは後ろ暗い fact6: もし仮にその一月頃が後ろ暗いならあの記述内容は集め易い一方で差し出がましかない fact7: この御手洗いは引き立てる fact8: この三角洲は差し出がましい fact9: もし仮にその門柱が立候補するとするとそれは差し出がましい fact10: もしもなんらかの物が強制執行しないとしたらそれは輸出国でないし根絶するということはない fact11: もし仮になんらかのものは引き立てないならば「「それは立候補するしジュラバである」ということは成り立つ」ということは偽だ fact12: 「あの沼田公園駐車場利用は加え混ぜるということはないかもしくは草の根通信であるかもしくは両方ともだ」ということは嘘だ fact13: 何かは引き立てればそれは差し出がましい fact14: もしもあの氷水が易しいならばあのエアーマックは易しい fact15: あの記述内容は差し出がましい fact16: 易しい芸風は乗り易くない fact17: 「その最下天は強制執行しないが伴い易い」ということは嘘であるならばその一月頃は強制執行しない fact18: 仮にその門柱が集め易いならばあの記述内容は立候補する fact19: その門柱はジュラバだけれど後ろ暗くない fact20: 仮にその門柱が長ずとしたらそれは生活困窮である fact21: その門柱は引き立てるがしかし後ろ暗くない fact22: もし「あの沼田公園駐車場利用は加え混ぜないかあるいは草の根通信であるかまたは両方だ」ということは成り立たないとするとあのエアーマックは加え混ぜない fact23: あのエアーマックは乗り易くないとしたら「その最下天は強制執行しない一方でそれは伴い易い」ということは偽だ fact24: 「その門柱は後ろ暗くない」ということは成り立つ fact25: 差し出がましい物は集め易い ; $hypothesis$ = 「あの記述内容は立候補するしまたジュラバだ」ということは成り立たない ; $proof$ = 
fact13 -> int1: 仮に「その門柱は引き立てる」ということは成り立つならそれは差し出がましい; fact21 -> int2: その門柱は引き立てる; int1 & int2 -> int3: その門柱は差し出がましい; fact25 -> int4: 「もしもその門柱が差し出がましいならばその門柱は集め易い」ということは事実である; int3 & int4 -> int5: その門柱は集め易い; int5 & fact18 -> int6: あの記述内容は立候補する; int6 & fact2 -> hypothesis; __DISPROVED__
事実1: もしも集め易いものは差し出がましかないとすれば「それは引き立てない」ということは真実だ
事実2: あの記述内容はジュラバである
事実3: その門柱はジュラバである
事実4: もし仮にあのエアーマックは加え混ぜないとすると「芸風であるししかも荒廃する」ということは確かだ
事実5: なんらかの物が輸出国でないしその上根絶しないならばそれは後ろ暗い
事実6: もし仮にその一月頃が後ろ暗いならあの記述内容は集め易い一方で差し出がましかない
事実7: この御手洗いは引き立てる
事実8: この三角洲は差し出がましい
事実9: もし仮にその門柱が立候補するとするとそれは差し出がましい
事実10: もしもなんらかの物が強制執行しないとしたらそれは輸出国でないし根絶するということはない
事実11: もし仮になんらかのものは引き立てないならば「「それは立候補するしジュラバである」ということは成り立つ」ということは偽だ
事実12: 「あの沼田公園駐車場利用は加え混ぜるということはないかもしくは草の根通信であるかもしくは両方ともだ」ということは嘘だ
事実13: 何かは引き立てればそれは差し出がましい
事実14: もしもあの氷水が易しいならばあのエアーマックは易しい
事実15: あの記述内容は差し出がましい
事実16: 易しい芸風は乗り易くない
事実17: 「その最下天は強制執行しないが伴い易い」ということは嘘であるならばその一月頃は強制執行しない
事実18: 仮にその門柱が集め易いならばあの記述内容は立候補する
事実19: その門柱はジュラバだけれど後ろ暗くない
事実20: 仮にその門柱が長ずとしたらそれは生活困窮である
事実21: その門柱は引き立てるがしかし後ろ暗くない
事実22: もし「あの沼田公園駐車場利用は加え混ぜないかあるいは草の根通信であるかまたは両方だ」ということは成り立たないとするとあのエアーマックは加え混ぜない
事実23: あのエアーマックは乗り易くないとしたら「その最下天は強制執行しない一方でそれは伴い易い」ということは偽だ
事実24: 「その門柱は後ろ暗くない」ということは成り立つ
事実25: 差し出がましい物は集め易い

仮説: 「あの記述内容は立候補するしまたジュラバだ」ということは成り立たない
1. 事実13から、推論1: "仮に「その門柱は引き立てる」ということは成り立つならそれは差し出がましい"が導かれる
2. 事実21から、推論2: "その門柱は引き立てる"が導かれる
3. 推論1と推論2から、推論3: "その門柱は差し出がましい"が導かれる
4. 事実25から、推論4: "「もしもその門柱が差し出がましいならばその門柱は集め易い」ということは事実である"が導かれる
5. 推論3と推論4から、推論5: "その門柱は集め易い"が導かれる
6. 推論5と事実18から、推論6: "あの記述内容は立候補する"が導かれる
7. 推論6と事実2から、仮説が否定される

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