「「この作用積分Ｓは生温かいということはないがしかしそれは天狗らしい」ということは正しい」ということは成り立たない
fact1: この売り上げ高原価率は恐怖表だ fact2: もし仮になんらかの物は西洋文明であるか生じ易いかまたは両方ならば生温かくない fact3: 「この作用積分Ｓは天狗らしい」ということは真実だ fact4: 「恐怖表である」ものがあるとしたらこの作用積分Ｓは西洋文明であるけど使い回すということはない fact5: もし仮に「その変容は西洋文明でない」ということは偽でないならこの一本足は恐怖表だということはない
fact1 -> int1: 「恐怖表な」物はある; int1 & fact4 -> int2: この作用積分Ｓは西洋文明だが使い回さない; int2 -> int3: この作用積分Ｓは西洋文明だ; int3 -> int4: この作用積分Ｓは西洋文明であるかもしくは生じ易い; fact2 -> int5: もしこの作用積分Ｓは西洋文明であるかあるいは生じ易いかもしくは両方ともならば生温かくない; int4 & int5 -> int6: この作用積分Ｓは生温かくない; int6 & fact3 -> hypothesis;
「この作用積分Ｓは生温かくないけれど天狗らしい」ということは間違っている
$facts$ = fact1: この売り上げ高原価率は恐怖表だ fact2: もし仮になんらかの物は西洋文明であるか生じ易いかまたは両方ならば生温かくない fact3: 「この作用積分Ｓは天狗らしい」ということは真実だ fact4: 「恐怖表である」ものがあるとしたらこの作用積分Ｓは西洋文明であるけど使い回すということはない fact5: もし仮に「その変容は西洋文明でない」ということは偽でないならこの一本足は恐怖表だということはない ; $hypothesis$ = 「「この作用積分Ｓは生温かいということはないがしかしそれは天狗らしい」ということは正しい」ということは成り立たない ; $proof$ = 
fact1 -> int1: 「恐怖表な」物はある; int1 & fact4 -> int2: この作用積分Ｓは西洋文明だが使い回さない; int2 -> int3: この作用積分Ｓは西洋文明だ; int3 -> int4: この作用積分Ｓは西洋文明であるかもしくは生じ易い; fact2 -> int5: もしこの作用積分Ｓは西洋文明であるかあるいは生じ易いかもしくは両方ともならば生温かくない; int4 & int5 -> int6: この作用積分Ｓは生温かくない; int6 & fact3 -> hypothesis; __DISPROVED__
事実1: この売り上げ高原価率は恐怖表だ
事実2: もし仮になんらかの物は西洋文明であるか生じ易いかまたは両方ならば生温かくない
事実3: 「この作用積分Ｓは天狗らしい」ということは真実だ
事実4: 「恐怖表である」ものがあるとしたらこの作用積分Ｓは西洋文明であるけど使い回すということはない
事実5: もし仮に「その変容は西洋文明でない」ということは偽でないならこの一本足は恐怖表だということはない

仮説: 「「この作用積分Ｓは生温かいということはないがしかしそれは天狗らしい」ということは正しい」ということは成り立たない
1. 事実1から、推論1: "「恐怖表な」物はある"が導かれる
2. 推論1と事実4から、推論2: "この作用積分Ｓは西洋文明だが使い回さない"が導かれる
3. 推論2から、推論3: "この作用積分Ｓは西洋文明だ"が導かれる
4. 推論3から、推論4: "この作用積分Ｓは西洋文明であるかもしくは生じ易い"が導かれる
5. 事実2から、推論5: "もしこの作用積分Ｓは西洋文明であるかあるいは生じ易いかもしくは両方ともならば生温かくない"が導かれる
6. 推論4と推論5から、推論6: "この作用積分Ｓは生温かくない"が導かれる
7. 推論6と事実3から、仮説が否定される

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