この娘はんは御呼び下さるということはない
fact1: この娘はんが精根尽き果てるならばあの検察権は御呼び下さる fact2: もし「「とあるものは国威だということはないが準則だ」ということは本当である」ということは成り立たないとしたら国威である fact3: もしあの検察権が精根尽き果てるならこの娘はんは血栓症だ fact4: あの国対政治は御呼び下さる fact5: あの検察権は御呼び下さる fact6: もしそのタール火山は出血し易くないとすれば「それは国威であるということはないけど準則である」ということは成り立たない fact7: もし仮にそのタール火山は記憶出来るなら「その梁山湖は任じるけどそれは繰り延べない」ということは正しくない fact8: あの検察権は精根尽き果てる fact9: 仮に「あの検察権は血栓症でないかもしくは精根尽き果てないかどちらもだ」ということは確かだとしたら「この娘はんは御呼び下さるということはない」ということは誤りであるということはない fact10: もしもなんらかのものが繰り延べないならそれは血栓症でないかもしくはそれは精根尽き果てないかあるいは両方である fact11: 血栓症は御呼び下さる fact12: 国威は記憶出来る fact13: もしもあの検察権が精根尽き果てるとすればそれは血栓症だ fact14: もし「その梁山湖は任じるが繰り延べない」ということは成り立たないならばあの検察権は繰り延べない fact15: その梁山湖は御呼び下さる fact16: この紛争当事者は精根尽き果てる fact17: この娘はんは駆除する
fact3 & fact8 -> int1: 「この娘はんは血栓症である」ということは事実である; fact11 -> int2: もしもこの娘はんは血栓症であるなら御呼び下さる; int1 & int2 -> hypothesis;
fact3 & fact8 -> int1: {B}{b}; fact11 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> hypothesis;
この娘はんは御呼び下さらない
fact19 -> int3: もしあの検察権が繰り延べるということはないなら血栓症でないかあるいはそれは精根尽き果てない; fact20 -> int4: 仮にそのタール火山は国威であるとすればそれは記憶出来る; fact24 -> int5: もし仮に「そのタール火山は国威でないがしかし準則である」ということは確かでないとしたらそれは国威である;
$facts$ = fact1: この娘はんが精根尽き果てるならばあの検察権は御呼び下さる fact2: もし「「とあるものは国威だということはないが準則だ」ということは本当である」ということは成り立たないとしたら国威である fact3: もしあの検察権が精根尽き果てるならこの娘はんは血栓症だ fact4: あの国対政治は御呼び下さる fact5: あの検察権は御呼び下さる fact6: もしそのタール火山は出血し易くないとすれば「それは国威であるということはないけど準則である」ということは成り立たない fact7: もし仮にそのタール火山は記憶出来るなら「その梁山湖は任じるけどそれは繰り延べない」ということは正しくない fact8: あの検察権は精根尽き果てる fact9: 仮に「あの検察権は血栓症でないかもしくは精根尽き果てないかどちらもだ」ということは確かだとしたら「この娘はんは御呼び下さるということはない」ということは誤りであるということはない fact10: もしもなんらかのものが繰り延べないならそれは血栓症でないかもしくはそれは精根尽き果てないかあるいは両方である fact11: 血栓症は御呼び下さる fact12: 国威は記憶出来る fact13: もしもあの検察権が精根尽き果てるとすればそれは血栓症だ fact14: もし「その梁山湖は任じるが繰り延べない」ということは成り立たないならばあの検察権は繰り延べない fact15: その梁山湖は御呼び下さる fact16: この紛争当事者は精根尽き果てる fact17: この娘はんは駆除する ; $hypothesis$ = この娘はんは御呼び下さるということはない ; $proof$ = 
fact3 & fact8 -> int1: 「この娘はんは血栓症である」ということは事実である; fact11 -> int2: もしもこの娘はんは血栓症であるなら御呼び下さる; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この娘はんが精根尽き果てるならばあの検察権は御呼び下さる
事実2: もし「「とあるものは国威だということはないが準則だ」ということは本当である」ということは成り立たないとしたら国威である
事実3: もしあの検察権が精根尽き果てるならこの娘はんは血栓症だ
事実4: あの国対政治は御呼び下さる
事実5: あの検察権は御呼び下さる
事実6: もしそのタール火山は出血し易くないとすれば「それは国威であるということはないけど準則である」ということは成り立たない
事実7: もし仮にそのタール火山は記憶出来るなら「その梁山湖は任じるけどそれは繰り延べない」ということは正しくない
事実8: あの検察権は精根尽き果てる
事実9: 仮に「あの検察権は血栓症でないかもしくは精根尽き果てないかどちらもだ」ということは確かだとしたら「この娘はんは御呼び下さるということはない」ということは誤りであるということはない
事実10: もしもなんらかのものが繰り延べないならそれは血栓症でないかもしくはそれは精根尽き果てないかあるいは両方である
事実11: 血栓症は御呼び下さる
事実12: 国威は記憶出来る
事実13: もしもあの検察権が精根尽き果てるとすればそれは血栓症だ
事実14: もし「その梁山湖は任じるが繰り延べない」ということは成り立たないならばあの検察権は繰り延べない
事実15: その梁山湖は御呼び下さる
事実16: この紛争当事者は精根尽き果てる
事実17: この娘はんは駆除する

仮説: この娘はんは御呼び下さるということはない
1. 事実3と事実8から、推論1: "「この娘はんは血栓症である」ということは事実である"が導かれる
2. 事実11から、推論2: "もしもこの娘はんは血栓症であるなら御呼び下さる"が導かれる
3. 推論1と推論2から、仮説が否定される

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