「その治療中は軽侮する」ということは成り立つ
fact1: もしもその治療中が進み易くないとすればそれは絶賛しなくて更にそれはジュラシック・パークである fact2: もしなにがしかの物はジュラシック・パークならば「基本性能でないけれど怒鳴り捲る」ということは嘘である fact3: もし仮に「その犯罪者達は引き離せるかまたは脊索だ」ということは嘘であるならばその治療中は進み易くない fact4: 「その犯罪者達は引き離せるかまたは脊索であるか両方だ」ということは誤りだ fact5: 仮に「何かは基本性能だということはないが怒鳴り捲る」ということは成り立たないとすると「軽侮しない」ということは事実である
fact3 & fact4 -> int1: その治療中は進み易いということはない; int1 & fact1 -> int2: その治療中は絶賛しないがジュラシック・パークだ; int2 -> int3: 「その治療中はジュラシック・パークである」ということは本当だ; fact2 -> int4: もしもその治療中はジュラシック・パークであるとすれば「それは基本性能でないけれど怒鳴り捲る」ということは間違いだ; int3 & int4 -> int5: 「その治療中は基本性能でないけれどそれは怒鳴り捲る」ということは成り立たない; fact5 -> int6: 仮に「その治療中は基本性能でないけど怒鳴り捲る」ということは間違いだとしたらそれは軽侮しない; int5 & int6 -> hypothesis;
$facts$ = fact1: もしもその治療中が進み易くないとすればそれは絶賛しなくて更にそれはジュラシック・パークである fact2: もしなにがしかの物はジュラシック・パークならば「基本性能でないけれど怒鳴り捲る」ということは嘘である fact3: もし仮に「その犯罪者達は引き離せるかまたは脊索だ」ということは嘘であるならばその治療中は進み易くない fact4: 「その犯罪者達は引き離せるかまたは脊索であるか両方だ」ということは誤りだ fact5: 仮に「何かは基本性能だということはないが怒鳴り捲る」ということは成り立たないとすると「軽侮しない」ということは事実である ; $hypothesis$ = 「その治療中は軽侮する」ということは成り立つ ; $proof$ = 
fact3 & fact4 -> int1: その治療中は進み易いということはない; int1 & fact1 -> int2: その治療中は絶賛しないがジュラシック・パークだ; int2 -> int3: 「その治療中はジュラシック・パークである」ということは本当だ; fact2 -> int4: もしもその治療中はジュラシック・パークであるとすれば「それは基本性能でないけれど怒鳴り捲る」ということは間違いだ; int3 & int4 -> int5: 「その治療中は基本性能でないけれどそれは怒鳴り捲る」ということは成り立たない; fact5 -> int6: 仮に「その治療中は基本性能でないけど怒鳴り捲る」ということは間違いだとしたらそれは軽侮しない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もしもその治療中が進み易くないとすればそれは絶賛しなくて更にそれはジュラシック・パークである
事実2: もしなにがしかの物はジュラシック・パークならば「基本性能でないけれど怒鳴り捲る」ということは嘘である
事実3: もし仮に「その犯罪者達は引き離せるかまたは脊索だ」ということは嘘であるならばその治療中は進み易くない
事実4: 「その犯罪者達は引き離せるかまたは脊索であるか両方だ」ということは誤りだ
事実5: 仮に「何かは基本性能だということはないが怒鳴り捲る」ということは成り立たないとすると「軽侮しない」ということは事実である

仮説: 「その治療中は軽侮する」ということは成り立つ
1. 事実3と事実4から、推論1: "その治療中は進み易いということはない"が導かれる
2. 推論1と事実1から、推論2: "その治療中は絶賛しないがジュラシック・パークだ"が導かれる
3. 推論2から、推論3: "「その治療中はジュラシック・パークである」ということは本当だ"が導かれる
4. 事実2から、推論4: "もしもその治療中はジュラシック・パークであるとすれば「それは基本性能でないけれど怒鳴り捲る」ということは間違いだ"が導かれる
5. 推論3と推論4から、推論5: "「その治療中は基本性能でないけれどそれは怒鳴り捲る」ということは成り立たない"が導かれる
6. 事実5から、推論6: "仮に「その治療中は基本性能でないけど怒鳴り捲る」ということは間違いだとしたらそれは軽侮しない"が導かれる
7. 推論5と推論6から、仮説が否定される

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