その帝都は漏れ易いということはない
fact1: とあるものがロックするなら漏れ易い fact2: もしあのスリーカットが童話作家だとすればその一セットはつるつるしない fact3: もし「その一セットは漏れ易くないけれどロックする」ということは嘘ならその帝都は等しい fact4: もし何らかの物はつるつるしないとしたら「それはロックしない一方で漏れ易い」ということは成り立たない fact5: 「「その一セットは等しいし席である」ということは成り立つ」ということは成り立たない fact6: 「「その帝都は完でないが一月頃である」ということは成り立つ」ということは誤りだ fact7: もしも「あの恐慌状態は隆盛しないがそれは走り書きする」ということは成り立つということはないとすればあのスリーカットは童話作家である fact8: 仮に「その一セットは等しくないけど席である」ということは誤っているならその帝都はロックする fact9: 「その一セットは漏れ易くないけれど席だ」ということは事実と異なる fact10: あの降下艇は尽くし得ないならば「それは予約不可でないし色っぽくない」ということは嘘である fact11: 仮になにがしかのものは覚束無いということはないとすれば「それは隆盛しないけど走り書きする」ということは成り立つということはない fact12: 「その一セットは等しくないが席である」ということは成り立たない fact13: その一セットが等しいとすればあの帝都はロックする fact14: あの美点はロックする fact15: あの降下艇は尽くし得ない
fact8 & fact12 -> int1: その帝都はロックする; fact1 -> int2: もしその帝都がロックするとしたらそれは漏れ易い; int1 & int2 -> hypothesis;
その帝都は漏れ易くない
fact16 -> int3: 「もし仮にその一セットはつるつるするということはないとしたら「その一セットはロックするということはないけど漏れ易い」ということは誤っている」ということは本当である; fact20 -> int4: もしもあの恐慌状態は覚束無くないなら「それが隆盛しないしさらにそれは走り書きする」ということは成り立たない; fact21 & fact18 -> int5: 「あの降下艇は予約不可でないしおまけに色っぽくない」ということは正しくない; int5 -> int6: 「「予約不可でなくて色っぽくない」ということは偽である」物はある;
$facts$ = fact1: とあるものがロックするなら漏れ易い fact2: もしあのスリーカットが童話作家だとすればその一セットはつるつるしない fact3: もし「その一セットは漏れ易くないけれどロックする」ということは嘘ならその帝都は等しい fact4: もし何らかの物はつるつるしないとしたら「それはロックしない一方で漏れ易い」ということは成り立たない fact5: 「「その一セットは等しいし席である」ということは成り立つ」ということは成り立たない fact6: 「「その帝都は完でないが一月頃である」ということは成り立つ」ということは誤りだ fact7: もしも「あの恐慌状態は隆盛しないがそれは走り書きする」ということは成り立つということはないとすればあのスリーカットは童話作家である fact8: 仮に「その一セットは等しくないけど席である」ということは誤っているならその帝都はロックする fact9: 「その一セットは漏れ易くないけれど席だ」ということは事実と異なる fact10: あの降下艇は尽くし得ないならば「それは予約不可でないし色っぽくない」ということは嘘である fact11: 仮になにがしかのものは覚束無いということはないとすれば「それは隆盛しないけど走り書きする」ということは成り立つということはない fact12: 「その一セットは等しくないが席である」ということは成り立たない fact13: その一セットが等しいとすればあの帝都はロックする fact14: あの美点はロックする fact15: あの降下艇は尽くし得ない ; $hypothesis$ = その帝都は漏れ易いということはない ; $proof$ = 
fact8 & fact12 -> int1: その帝都はロックする; fact1 -> int2: もしその帝都がロックするとしたらそれは漏れ易い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: とあるものがロックするなら漏れ易い
事実2: もしあのスリーカットが童話作家だとすればその一セットはつるつるしない
事実3: もし「その一セットは漏れ易くないけれどロックする」ということは嘘ならその帝都は等しい
事実4: もし何らかの物はつるつるしないとしたら「それはロックしない一方で漏れ易い」ということは成り立たない
事実5: 「「その一セットは等しいし席である」ということは成り立つ」ということは成り立たない
事実6: 「「その帝都は完でないが一月頃である」ということは成り立つ」ということは誤りだ
事実7: もしも「あの恐慌状態は隆盛しないがそれは走り書きする」ということは成り立つということはないとすればあのスリーカットは童話作家である
事実8: 仮に「その一セットは等しくないけど席である」ということは誤っているならその帝都はロックする
事実9: 「その一セットは漏れ易くないけれど席だ」ということは事実と異なる
事実10: あの降下艇は尽くし得ないならば「それは予約不可でないし色っぽくない」ということは嘘である
事実11: 仮になにがしかのものは覚束無いということはないとすれば「それは隆盛しないけど走り書きする」ということは成り立つということはない
事実12: 「その一セットは等しくないが席である」ということは成り立たない
事実13: その一セットが等しいとすればあの帝都はロックする
事実14: あの美点はロックする
事実15: あの降下艇は尽くし得ない

仮説: その帝都は漏れ易いということはない
1. 事実8と事実12から、推論1: "その帝都はロックする"が導かれる
2. 事実1から、推論2: "もしその帝都がロックするとしたらそれは漏れ易い"が導かれる
3. 推論1と推論2から、仮説が否定される

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