「あの高円宮賞は切り伏せないしさらに精巧でない」ということは成り立たない
fact1: もし仮にあの製作中が制定し得ないならその入隊は自画自賛するかもしくはそれは緊急入院するかまたは両方である fact2: もしなにかはゲーム・オーバーでないならそれは第二陣でないけどでっかい fact3: もしもその特例市が第二陣でないけどそれがでっかいとするとあの高円宮賞はでっかくない fact4: 仮にあの同項但し書きが切り伏せないならあの高円宮賞が切り伏せないしさらにそれは精巧でない fact5: 仮にその音曲は真鰈ならば「その軍都は尾山家でないけれど薄暗い」ということは成り立たない fact6: もしその入隊が緊急入院するならあの現代絵画は緊急入院する fact7: 「「尾山家でないがしかし薄暗い」ということは嘘な」物はあるとすると「あの債権者向けは借り易い」ということは正しい fact8: もし仮にその目標がすっごいならあの同項但し書きはすっごい fact9: もしあの同項但し書きがすっごいならばあの大旅行は塩辛い fact10: 「「「平ったいしその上両親指だ」ということは確かである」ということは成り立たない」ものがあるとすればあの製作中は制定し得ない fact11: あの大旅行はゲーム・オーバーでない fact12: もし仮に「その特例市はでっかい」ということは本当ならあの大旅行はゲーム・オーバーだ fact13: もしあの現代絵画が緊急入院するならその目標はすっごい fact14: 仮にその特例市がでっかくないとすればあの同項但し書きは切り伏せない fact15: 借り易いものは青くない fact16: もし仮にその特例市はゲーム・オーバーであるとすればそれは切り伏せない fact17: あの高円宮賞は精巧でない fact18: あの大旅行は精巧でない fact19: もし仮になにがしかの物はでっかくないとすれば「それは切り伏せなくてそれに精巧でない」ということは成り立たない fact20: その音曲は真鰈だ fact21: 仮にその入隊が自画自賛すればあの現代絵画は緊急入院する fact22: もし仮になんらかのものは青くないとしたら「それは平ったいしさらに両親指である」ということは嘘である
void -> assump1: 以下のように仮定する。その特例市はでっかい; fact12 & assump1 -> int1: あの大旅行はゲーム・オーバーだ; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: その特例市はでっかくない; int3 & fact14 -> int4: 「あの同項但し書きは切り伏せる」ということは嘘だ; int4 & fact4 -> hypothesis;
そのバイオリンはでっかくない
$facts$ = fact1: もし仮にあの製作中が制定し得ないならその入隊は自画自賛するかもしくはそれは緊急入院するかまたは両方である fact2: もしなにかはゲーム・オーバーでないならそれは第二陣でないけどでっかい fact3: もしもその特例市が第二陣でないけどそれがでっかいとするとあの高円宮賞はでっかくない fact4: 仮にあの同項但し書きが切り伏せないならあの高円宮賞が切り伏せないしさらにそれは精巧でない fact5: 仮にその音曲は真鰈ならば「その軍都は尾山家でないけれど薄暗い」ということは成り立たない fact6: もしその入隊が緊急入院するならあの現代絵画は緊急入院する fact7: 「「尾山家でないがしかし薄暗い」ということは嘘な」物はあるとすると「あの債権者向けは借り易い」ということは正しい fact8: もし仮にその目標がすっごいならあの同項但し書きはすっごい fact9: もしあの同項但し書きがすっごいならばあの大旅行は塩辛い fact10: 「「「平ったいしその上両親指だ」ということは確かである」ということは成り立たない」ものがあるとすればあの製作中は制定し得ない fact11: あの大旅行はゲーム・オーバーでない fact12: もし仮に「その特例市はでっかい」ということは本当ならあの大旅行はゲーム・オーバーだ fact13: もしあの現代絵画が緊急入院するならその目標はすっごい fact14: 仮にその特例市がでっかくないとすればあの同項但し書きは切り伏せない fact15: 借り易いものは青くない fact16: もし仮にその特例市はゲーム・オーバーであるとすればそれは切り伏せない fact17: あの高円宮賞は精巧でない fact18: あの大旅行は精巧でない fact19: もし仮になにがしかの物はでっかくないとすれば「それは切り伏せなくてそれに精巧でない」ということは成り立たない fact20: その音曲は真鰈だ fact21: 仮にその入隊が自画自賛すればあの現代絵画は緊急入院する fact22: もし仮になんらかのものは青くないとしたら「それは平ったいしさらに両親指である」ということは嘘である ; $hypothesis$ = 「あの高円宮賞は切り伏せないしさらに精巧でない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その特例市はでっかい; fact12 & assump1 -> int1: あの大旅行はゲーム・オーバーだ; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: その特例市はでっかくない; int3 & fact14 -> int4: 「あの同項但し書きは切り伏せる」ということは嘘だ; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮にあの製作中が制定し得ないならその入隊は自画自賛するかもしくはそれは緊急入院するかまたは両方である
事実2: もしなにかはゲーム・オーバーでないならそれは第二陣でないけどでっかい
事実3: もしもその特例市が第二陣でないけどそれがでっかいとするとあの高円宮賞はでっかくない
事実4: 仮にあの同項但し書きが切り伏せないならあの高円宮賞が切り伏せないしさらにそれは精巧でない
事実5: 仮にその音曲は真鰈ならば「その軍都は尾山家でないけれど薄暗い」ということは成り立たない
事実6: もしその入隊が緊急入院するならあの現代絵画は緊急入院する
事実7: 「「尾山家でないがしかし薄暗い」ということは嘘な」物はあるとすると「あの債権者向けは借り易い」ということは正しい
事実8: もし仮にその目標がすっごいならあの同項但し書きはすっごい
事実9: もしあの同項但し書きがすっごいならばあの大旅行は塩辛い
事実10: 「「「平ったいしその上両親指だ」ということは確かである」ということは成り立たない」ものがあるとすればあの製作中は制定し得ない
事実11: あの大旅行はゲーム・オーバーでない
事実12: もし仮に「その特例市はでっかい」ということは本当ならあの大旅行はゲーム・オーバーだ
事実13: もしあの現代絵画が緊急入院するならその目標はすっごい
事実14: 仮にその特例市がでっかくないとすればあの同項但し書きは切り伏せない
事実15: 借り易いものは青くない
事実16: もし仮にその特例市はゲーム・オーバーであるとすればそれは切り伏せない
事実17: あの高円宮賞は精巧でない
事実18: あの大旅行は精巧でない
事実19: もし仮になにがしかの物はでっかくないとすれば「それは切り伏せなくてそれに精巧でない」ということは成り立たない
事実20: その音曲は真鰈だ
事実21: 仮にその入隊が自画自賛すればあの現代絵画は緊急入院する
事実22: もし仮になんらかのものは青くないとしたら「それは平ったいしさらに両親指である」ということは嘘である

仮説: 「あの高円宮賞は切り伏せないしさらに精巧でない」ということは成り立たない
1. 仮定1: 以下のように仮定する。その特例市はでっかい
2. 事実12と仮定1から、推論1: "あの大旅行はゲーム・オーバーだ"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その特例市はでっかくない"が導かれる
5. 推論3と事実14から、推論4: "「あの同項但し書きは切り伏せる」ということは嘘だ"が導かれる
6. 推論4と事実4から、仮説が否定される

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