その梨河豚は倒れ伏さない
fact1: 「埋める」物はある fact2: あのドールは倒れ伏す fact3: 仮にある物は投射しないし纏わらないとすると倒れ伏す fact4: もしもあの三ＤＴが倒れ伏すけど纏わらないとすると投射する fact5: その梨河豚は中憩だということはないかもしくはそれは据え置かないかもしくは両方ともだ fact6: もしその梨河豚が気付くとすればそれは投射しない fact7: もしもなにがしかのものは埋めるとすると「纏わるということはなくてしかも倒れ伏す」ということは誤りだ fact8: もし仮にあの三ＤＴが纏わるとすればあの梨河豚は投射しないしそれに纏わらない fact9: 仮に「埋める」ものがあるとしたらあの三ＤＴは纏わる fact10: 「「なんらかの物は纏わらないがしかし倒れ伏す」ということは事実である」ということは偽であるとすれば「それは倒れ伏すということはない」ということは成り立つ fact11: もし仮にあの三ＤＴは纏わるとすれば「その梨河豚は投射しない」ということは本当だ
fact1 & fact9 -> int1: あの三ＤＴは纏わる; int1 & fact8 -> int2: 「その梨河豚は投射しなくてそれは纏わらない」ということは本当だ; fact3 -> int3: もしもその梨河豚は投射しなくてかつ纏わるということはないなら「倒れ伏す」ということは確かだ; int2 & int3 -> hypothesis;
その梨河豚は倒れ伏さない
fact12 -> int4: もし仮に「その梨河豚は纏わらないけどそれは倒れ伏す」ということは成り立たないなら倒れ伏さない; fact15 -> int5: 仮にその梨河豚は埋めるなら「それは纏わらないけれど倒れ伏す」ということは間違っている;
$facts$ = fact1: 「埋める」物はある fact2: あのドールは倒れ伏す fact3: 仮にある物は投射しないし纏わらないとすると倒れ伏す fact4: もしもあの三ＤＴが倒れ伏すけど纏わらないとすると投射する fact5: その梨河豚は中憩だということはないかもしくはそれは据え置かないかもしくは両方ともだ fact6: もしその梨河豚が気付くとすればそれは投射しない fact7: もしもなにがしかのものは埋めるとすると「纏わるということはなくてしかも倒れ伏す」ということは誤りだ fact8: もし仮にあの三ＤＴが纏わるとすればあの梨河豚は投射しないしそれに纏わらない fact9: 仮に「埋める」ものがあるとしたらあの三ＤＴは纏わる fact10: 「「なんらかの物は纏わらないがしかし倒れ伏す」ということは事実である」ということは偽であるとすれば「それは倒れ伏すということはない」ということは成り立つ fact11: もし仮にあの三ＤＴは纏わるとすれば「その梨河豚は投射しない」ということは本当だ ; $hypothesis$ = その梨河豚は倒れ伏さない ; $proof$ = 
fact1 & fact9 -> int1: あの三ＤＴは纏わる; int1 & fact8 -> int2: 「その梨河豚は投射しなくてそれは纏わらない」ということは本当だ; fact3 -> int3: もしもその梨河豚は投射しなくてかつ纏わるということはないなら「倒れ伏す」ということは確かだ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「埋める」物はある
事実2: あのドールは倒れ伏す
事実3: 仮にある物は投射しないし纏わらないとすると倒れ伏す
事実4: もしもあの三ＤＴが倒れ伏すけど纏わらないとすると投射する
事実5: その梨河豚は中憩だということはないかもしくはそれは据え置かないかもしくは両方ともだ
事実6: もしその梨河豚が気付くとすればそれは投射しない
事実7: もしもなにがしかのものは埋めるとすると「纏わるということはなくてしかも倒れ伏す」ということは誤りだ
事実8: もし仮にあの三ＤＴが纏わるとすればあの梨河豚は投射しないしそれに纏わらない
事実9: 仮に「埋める」ものがあるとしたらあの三ＤＴは纏わる
事実10: 「「なんらかの物は纏わらないがしかし倒れ伏す」ということは事実である」ということは偽であるとすれば「それは倒れ伏すということはない」ということは成り立つ
事実11: もし仮にあの三ＤＴは纏わるとすれば「その梨河豚は投射しない」ということは本当だ

仮説: その梨河豚は倒れ伏さない
1. 事実1と事実9から、推論1: "あの三ＤＴは纏わる"が導かれる
2. 推論1と事実8から、推論2: "「その梨河豚は投射しなくてそれは纏わらない」ということは本当だ"が導かれる
3. 事実3から、推論3: "もしもその梨河豚は投射しなくてかつ纏わるということはないなら「倒れ伏す」ということは確かだ"が導かれる
4. 推論2と推論3から、仮説が否定される

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