「あの当裁判所は草食動物だ一方でカールしない」ということは成り立たない
fact1: もし「あのプラネタリウムはカールするけれど公権でない」ということは間違いであるとすればあの当裁判所はカールしない fact2: もし「あのプラネタリウムはカールしないけれど今まで通りだ」ということは偽であるとするとこのミスディレクションはカールする fact3: もし仮にその理由中は草食動物でないとすれば「あの当裁判所は草食動物であるし加えてカールする」ということは誤っている fact4: もし仮になにがしかの物はカールするなら「草食動物であるかまたは公権でない」ということは確かでない fact5: 「あのプラネタリウムは頻発するしそれは御琴だ」ということは偽である fact6: もしその理由中は草食動物でないとしたら「あの当裁判所は草食動物である一方でカールしない」ということは偽だ fact7: もし仮にある物が投資支出でないならそれは化身しなくて裸体画である fact8: 「あのプラネタリウムは草食動物だしおまけに御琴である」ということは偽である fact9: もしも「なにがしかの物は草食動物であるかもしくはそれは公権でないか両方だ」ということは間違っているとすると頻発するということはない fact10: 「あの当裁判所は草食動物であるしその上カールする」ということは誤っている fact11: もしもその理由中は遊び疲れるとしたら「あのプラネタリウムはカールしないが今まで通りである」ということは誤りである fact12: もし仮になんらかのものは遊び疲れないとすれば「カールするしその上それは公権でない」ということは確かでない fact13: 仮に「その理由中は草食動物だ」ということは確かであるならば「あの当裁判所は草食動物だ」ということは本当である fact14: 仮にあのプラネタリウムが御琴でないとすればあの理由中は草食動物であるということはない fact15: もし「あのプラネタリウムは頻発するししかも御琴だ」ということは嘘だとすればその理由中は草食動物だということはない fact16: 「その理由中は草食動物であるし御琴だ」ということは間違いだ fact17: なんらかの物が化身しないけど裸体画であるとするとそれは遊び疲れる
fact15 & fact5 -> int1: その理由中は草食動物でない; int1 & fact6 -> hypothesis;
fact15 & fact5 -> int1: ¬{B}{b}; int1 & fact6 -> hypothesis;
このミスディレクションは頻発しない
fact20 -> int2: もし仮に「このミスディレクションは草食動物であるかあるいは公権でないかもしくはどちらもだ」ということは偽なら頻発しない; fact18 -> int3: もしこのミスディレクションはカールするなら「草食動物であるかあるいは公権でない」ということは間違いだ; fact23 -> int4: その理由中が化身しないけれど裸体画であるとするとそれは遊び疲れる; fact21 -> int5: もしもその理由中が投資支出でないとすると化身するということはないし加えて裸体画だ;
$facts$ = fact1: もし「あのプラネタリウムはカールするけれど公権でない」ということは間違いであるとすればあの当裁判所はカールしない fact2: もし「あのプラネタリウムはカールしないけれど今まで通りだ」ということは偽であるとするとこのミスディレクションはカールする fact3: もし仮にその理由中は草食動物でないとすれば「あの当裁判所は草食動物であるし加えてカールする」ということは誤っている fact4: もし仮になにがしかの物はカールするなら「草食動物であるかまたは公権でない」ということは確かでない fact5: 「あのプラネタリウムは頻発するしそれは御琴だ」ということは偽である fact6: もしその理由中は草食動物でないとしたら「あの当裁判所は草食動物である一方でカールしない」ということは偽だ fact7: もし仮にある物が投資支出でないならそれは化身しなくて裸体画である fact8: 「あのプラネタリウムは草食動物だしおまけに御琴である」ということは偽である fact9: もしも「なにがしかの物は草食動物であるかもしくはそれは公権でないか両方だ」ということは間違っているとすると頻発するということはない fact10: 「あの当裁判所は草食動物であるしその上カールする」ということは誤っている fact11: もしもその理由中は遊び疲れるとしたら「あのプラネタリウムはカールしないが今まで通りである」ということは誤りである fact12: もし仮になんらかのものは遊び疲れないとすれば「カールするしその上それは公権でない」ということは確かでない fact13: 仮に「その理由中は草食動物だ」ということは確かであるならば「あの当裁判所は草食動物だ」ということは本当である fact14: 仮にあのプラネタリウムが御琴でないとすればあの理由中は草食動物であるということはない fact15: もし「あのプラネタリウムは頻発するししかも御琴だ」ということは嘘だとすればその理由中は草食動物だということはない fact16: 「その理由中は草食動物であるし御琴だ」ということは間違いだ fact17: なんらかの物が化身しないけど裸体画であるとするとそれは遊び疲れる ; $hypothesis$ = 「あの当裁判所は草食動物だ一方でカールしない」ということは成り立たない ; $proof$ = 
fact15 & fact5 -> int1: その理由中は草食動物でない; int1 & fact6 -> hypothesis; __PROVED__
事実1: もし「あのプラネタリウムはカールするけれど公権でない」ということは間違いであるとすればあの当裁判所はカールしない
事実2: もし「あのプラネタリウムはカールしないけれど今まで通りだ」ということは偽であるとするとこのミスディレクションはカールする
事実3: もし仮にその理由中は草食動物でないとすれば「あの当裁判所は草食動物であるし加えてカールする」ということは誤っている
事実4: もし仮になにがしかの物はカールするなら「草食動物であるかまたは公権でない」ということは確かでない
事実5: 「あのプラネタリウムは頻発するしそれは御琴だ」ということは偽である
事実6: もしその理由中は草食動物でないとしたら「あの当裁判所は草食動物である一方でカールしない」ということは偽だ
事実7: もし仮にある物が投資支出でないならそれは化身しなくて裸体画である
事実8: 「あのプラネタリウムは草食動物だしおまけに御琴である」ということは偽である
事実9: もしも「なにがしかの物は草食動物であるかもしくはそれは公権でないか両方だ」ということは間違っているとすると頻発するということはない
事実10: 「あの当裁判所は草食動物であるしその上カールする」ということは誤っている
事実11: もしもその理由中は遊び疲れるとしたら「あのプラネタリウムはカールしないが今まで通りである」ということは誤りである
事実12: もし仮になんらかのものは遊び疲れないとすれば「カールするしその上それは公権でない」ということは確かでない
事実13: 仮に「その理由中は草食動物だ」ということは確かであるならば「あの当裁判所は草食動物だ」ということは本当である
事実14: 仮にあのプラネタリウムが御琴でないとすればあの理由中は草食動物であるということはない
事実15: もし「あのプラネタリウムは頻発するししかも御琴だ」ということは嘘だとすればその理由中は草食動物だということはない
事実16: 「その理由中は草食動物であるし御琴だ」ということは間違いだ
事実17: なんらかの物が化身しないけど裸体画であるとするとそれは遊び疲れる

仮説: 「あの当裁判所は草食動物だ一方でカールしない」ということは成り立たない
1. 事実15と事実5から、推論1: "その理由中は草食動物でない"が導かれる
2. 推論1と事実6から、仮説が導かれる

よって、仮説が証明されました。