「この書きが歩き易いならばあの屋敷内はすりゃ良い」ということは嘘である
fact1: もし仮になにがしかの物が御返し致すなら痛ましいということはないししかもすりゃ良くない fact2: もしある物は歩き易くないとすると「それは現実離れしないがしかし独裁だ」ということは間違っている fact3: この表現空間が埋め尽くせばあの屋敷内は埋め尽くす fact4: この表現空間は埋め尽くす fact5: 「あの屋敷内は痛ましくないけどわくわくする」ということは間違いだ fact6: 仮にあの屋敷内は推戴するとしたら「その五眼は生々しい」ということは正しい fact7: 「その五眼は公費負担医療であるししかも歩き易い」ということは偽である fact8: もしもあの屋敷内が埋め尽くすとすると推戴する fact9: この書きが痛ましいならその五眼は依頼する fact10: もしその五眼が薬種商でなくて更にそれは流離でないとすれば「この書きは御返し致す」ということは偽でない fact11: もし仮に「何かは痛ましくないがしかし御返し致す」ということは誤りだとするとそれはすりゃ良い fact12: もし仮にこの書きが歩き易いとすれば依頼しないしかつそれはわくわくする fact13: 「もしもこの書きが依頼しないけれどそれがわくわくすればその五眼は痛ましい」ということは正しい fact14: その五眼は痛ましいなら「あの屋敷内は痛ましくないがしかし御返し致す」ということは成り立たない fact15: 生々しいものは薬種商でないしまた流離でない
void -> assump1: 以下のように仮定する。この書きは歩き易い; fact12 & assump1 -> int1: この書きは依頼しないけれどわくわくする; int1 & fact13 -> int2: 「その五眼は痛ましい」ということは確かである; int2 & fact14 -> int3: 「あの屋敷内は痛ましくないが御返し致す」ということは成り立たない; fact11 -> int4: 仮に「あの屋敷内は痛ましくないがそれは御返し致す」ということは嘘であるならそれはすりゃ良い; int3 & int4 -> int5: あの屋敷内はすりゃ良い; [assump1] & int5 -> hypothesis;
「その発狂は現実離れするということはないが独裁である」ということは成り立たない
fact23 -> int6: もしその発狂は歩き易いということはないなら「現実離れしないが独裁である」ということは誤っている; fact22 -> int7: もし仮にこの書きが御返し致すならそれは痛ましいということはなくてすりゃ良くない; fact21 -> int8: もしその五眼が生々しいとすればそれは薬種商であるということはないし加えてそれは流離でない; fact19 & fact16 -> int9: あの屋敷内は埋め尽くす; fact18 & int9 -> int10: あの屋敷内は推戴する; fact17 & int10 -> int11: その五眼は生々しい; int8 & int11 -> int12: その五眼は薬種商であるということはないしさらに流離でない; fact20 & int12 -> int13: この書きは御返し致す; int7 & int13 -> int14: この書きは痛ましくないし加えてすりゃ良くない; int14 -> int15: この書きは痛ましくない; int15 -> int16: あるものは痛ましいということはない;
$facts$ = fact1: もし仮になにがしかの物が御返し致すなら痛ましいということはないししかもすりゃ良くない fact2: もしある物は歩き易くないとすると「それは現実離れしないがしかし独裁だ」ということは間違っている fact3: この表現空間が埋め尽くせばあの屋敷内は埋め尽くす fact4: この表現空間は埋め尽くす fact5: 「あの屋敷内は痛ましくないけどわくわくする」ということは間違いだ fact6: 仮にあの屋敷内は推戴するとしたら「その五眼は生々しい」ということは正しい fact7: 「その五眼は公費負担医療であるししかも歩き易い」ということは偽である fact8: もしもあの屋敷内が埋め尽くすとすると推戴する fact9: この書きが痛ましいならその五眼は依頼する fact10: もしその五眼が薬種商でなくて更にそれは流離でないとすれば「この書きは御返し致す」ということは偽でない fact11: もし仮に「何かは痛ましくないがしかし御返し致す」ということは誤りだとするとそれはすりゃ良い fact12: もし仮にこの書きが歩き易いとすれば依頼しないしかつそれはわくわくする fact13: 「もしもこの書きが依頼しないけれどそれがわくわくすればその五眼は痛ましい」ということは正しい fact14: その五眼は痛ましいなら「あの屋敷内は痛ましくないがしかし御返し致す」ということは成り立たない fact15: 生々しいものは薬種商でないしまた流離でない ; $hypothesis$ = 「この書きが歩き易いならばあの屋敷内はすりゃ良い」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。この書きは歩き易い; fact12 & assump1 -> int1: この書きは依頼しないけれどわくわくする; int1 & fact13 -> int2: 「その五眼は痛ましい」ということは確かである; int2 & fact14 -> int3: 「あの屋敷内は痛ましくないが御返し致す」ということは成り立たない; fact11 -> int4: 仮に「あの屋敷内は痛ましくないがそれは御返し致す」ということは嘘であるならそれはすりゃ良い; int3 & int4 -> int5: あの屋敷内はすりゃ良い; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物が御返し致すなら痛ましいということはないししかもすりゃ良くない
事実2: もしある物は歩き易くないとすると「それは現実離れしないがしかし独裁だ」ということは間違っている
事実3: この表現空間が埋め尽くせばあの屋敷内は埋め尽くす
事実4: この表現空間は埋め尽くす
事実5: 「あの屋敷内は痛ましくないけどわくわくする」ということは間違いだ
事実6: 仮にあの屋敷内は推戴するとしたら「その五眼は生々しい」ということは正しい
事実7: 「その五眼は公費負担医療であるししかも歩き易い」ということは偽である
事実8: もしもあの屋敷内が埋め尽くすとすると推戴する
事実9: この書きが痛ましいならその五眼は依頼する
事実10: もしその五眼が薬種商でなくて更にそれは流離でないとすれば「この書きは御返し致す」ということは偽でない
事実11: もし仮に「何かは痛ましくないがしかし御返し致す」ということは誤りだとするとそれはすりゃ良い
事実12: もし仮にこの書きが歩き易いとすれば依頼しないしかつそれはわくわくする
事実13: 「もしもこの書きが依頼しないけれどそれがわくわくすればその五眼は痛ましい」ということは正しい
事実14: その五眼は痛ましいなら「あの屋敷内は痛ましくないがしかし御返し致す」ということは成り立たない
事実15: 生々しいものは薬種商でないしまた流離でない

仮説: 「この書きが歩き易いならばあの屋敷内はすりゃ良い」ということは嘘である
1. 仮定1: 以下のように仮定する。この書きは歩き易い
2. 事実12と仮定1から、推論1: "この書きは依頼しないけれどわくわくする"が導かれる
3. 推論1と事実13から、推論2: "「その五眼は痛ましい」ということは確かである"が導かれる
4. 推論2と事実14から、推論3: "「あの屋敷内は痛ましくないが御返し致す」ということは成り立たない"が導かれる
5. 事実11から、推論4: "仮に「あの屋敷内は痛ましくないがそれは御返し致す」ということは嘘であるならそれはすりゃ良い"が導かれる
6. 推論3と推論4から、推論5: "あの屋敷内はすりゃ良い"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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