「その特別権力関係論はねちっこいけれどそれはかわゆくない」ということは嘘である
fact1: もしこのデンマーク語がえじこでないとしたらそのキャッチングは縺れ込まないかもしくはそれは代執行である fact2: そのキャッチングは縺れ込まないかもしくは代執行であるかあるいは両方ともである fact3: もし仮になにがしかのものはえじこでないとしたら「それはねちっこいけどかわゆくない」ということは偽である fact4: このデンマーク語はえじこでない fact5: もしこのデンマーク語がえじこでないならそのキャッチングは縺れ込むかあるいは代執行でないかあるいは両方である fact6: 「その特別権力関係論はかわゆくない」ということは成り立つ fact7: もしこのデンマーク語がえじこでないならばそのキャッチングは縺れ込むということはないかそれは代執行でないかあるいは両方ともだ fact8: もしもこのデンマーク語が縺れ込まないとするとそのキャッチングはえじこであって縺れ込まない fact9: このデンマーク語はかわゆくないとすれば「それはえじこでなくて信仰深くない」ということは偽である fact10: もしも「何らかの物は信仰深くなくて加えて十万馬券でない」ということは偽だとすれば信仰深い fact11: もしあの安全性等がかわゆくないとしたらその特別権力関係論はねちっこいがしかしかわゆくない fact12: えじこは成立し難いが向こう意気でない fact13: もし仮にこのデンマーク語がえじこでないしその上それが濡れないとすればあの特別権力関係論はえじこでない fact14: もし仮にそのキャッチングが縺れ込まないかもしくは代執行でないかもしくは両方ともであるとするとあの安全性等はかわゆくない
fact7 & fact4 -> int1: そのキャッチングは縺れ込まないかまたは代執行でないか両方である; int1 & fact14 -> int2: 「あの安全性等はかわゆいということはない」ということは真実だ; int2 & fact11 -> hypothesis;
fact7 & fact4 -> int1: (¬{AA}{b} v ¬{AB}{b}); int1 & fact14 -> int2: ¬{B}{c}; int2 & fact11 -> hypothesis;
「その特別権力関係論はねちっこいがしかしかわゆくない」ということは事実と異なる
fact17 -> int3: もしその特別権力関係論はえじこであるということはないとしたら「それはねちっこい一方でかわゆくない」ということは真実でない; fact16 -> int4: もし仮に「そのキャッチングは信仰深くないし十万馬券でない」ということは誤りであるとすると信仰深い;
$facts$ = fact1: もしこのデンマーク語がえじこでないとしたらそのキャッチングは縺れ込まないかもしくはそれは代執行である fact2: そのキャッチングは縺れ込まないかもしくは代執行であるかあるいは両方ともである fact3: もし仮になにがしかのものはえじこでないとしたら「それはねちっこいけどかわゆくない」ということは偽である fact4: このデンマーク語はえじこでない fact5: もしこのデンマーク語がえじこでないならそのキャッチングは縺れ込むかあるいは代執行でないかあるいは両方である fact6: 「その特別権力関係論はかわゆくない」ということは成り立つ fact7: もしこのデンマーク語がえじこでないならばそのキャッチングは縺れ込むということはないかそれは代執行でないかあるいは両方ともだ fact8: もしもこのデンマーク語が縺れ込まないとするとそのキャッチングはえじこであって縺れ込まない fact9: このデンマーク語はかわゆくないとすれば「それはえじこでなくて信仰深くない」ということは偽である fact10: もしも「何らかの物は信仰深くなくて加えて十万馬券でない」ということは偽だとすれば信仰深い fact11: もしあの安全性等がかわゆくないとしたらその特別権力関係論はねちっこいがしかしかわゆくない fact12: えじこは成立し難いが向こう意気でない fact13: もし仮にこのデンマーク語がえじこでないしその上それが濡れないとすればあの特別権力関係論はえじこでない fact14: もし仮にそのキャッチングが縺れ込まないかもしくは代執行でないかもしくは両方ともであるとするとあの安全性等はかわゆくない ; $hypothesis$ = 「その特別権力関係論はねちっこいけれどそれはかわゆくない」ということは嘘である ; $proof$ = 
fact7 & fact4 -> int1: そのキャッチングは縺れ込まないかまたは代執行でないか両方である; int1 & fact14 -> int2: 「あの安全性等はかわゆいということはない」ということは真実だ; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: もしこのデンマーク語がえじこでないとしたらそのキャッチングは縺れ込まないかもしくはそれは代執行である
事実2: そのキャッチングは縺れ込まないかもしくは代執行であるかあるいは両方ともである
事実3: もし仮になにがしかのものはえじこでないとしたら「それはねちっこいけどかわゆくない」ということは偽である
事実4: このデンマーク語はえじこでない
事実5: もしこのデンマーク語がえじこでないならそのキャッチングは縺れ込むかあるいは代執行でないかあるいは両方である
事実6: 「その特別権力関係論はかわゆくない」ということは成り立つ
事実7: もしこのデンマーク語がえじこでないならばそのキャッチングは縺れ込むということはないかそれは代執行でないかあるいは両方ともだ
事実8: もしもこのデンマーク語が縺れ込まないとするとそのキャッチングはえじこであって縺れ込まない
事実9: このデンマーク語はかわゆくないとすれば「それはえじこでなくて信仰深くない」ということは偽である
事実10: もしも「何らかの物は信仰深くなくて加えて十万馬券でない」ということは偽だとすれば信仰深い
事実11: もしあの安全性等がかわゆくないとしたらその特別権力関係論はねちっこいがしかしかわゆくない
事実12: えじこは成立し難いが向こう意気でない
事実13: もし仮にこのデンマーク語がえじこでないしその上それが濡れないとすればあの特別権力関係論はえじこでない
事実14: もし仮にそのキャッチングが縺れ込まないかもしくは代執行でないかもしくは両方ともであるとするとあの安全性等はかわゆくない

仮説: 「その特別権力関係論はねちっこいけれどそれはかわゆくない」ということは嘘である
1. 事実7と事実4から、推論1: "そのキャッチングは縺れ込まないかまたは代執行でないか両方である"が導かれる
2. 推論1と事実14から、推論2: "「あの安全性等はかわゆいということはない」ということは真実だ"が導かれる
3. 推論2と事実11から、仮説が否定される

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