その統括者は気忙しくない
fact1: このエラー処理はサービス競争である fact2: もしこのエラー処理は心置き無くないけれどスイートコーンならそれは断熱する fact3: もしも「冷え易くないしまた罹り易くない」物があればその統括者は冗談っぽい fact4: 「罹り易くない」ものはある fact5: 何かはサービス競争だ fact6: このエラー処理はスイートコーンだ fact7: このエラー処理はスポーツマンらしくないけど差し出がましい fact8: 「あるものは冷え易いがしかし罹り易くない」ということは真実だ fact9: 「断熱する」物はある fact10: もし仮に消費欲求が冗談っぽいとすればそれは気忙しくない fact11: このエラー処理は心置き無くないがしかしスイートコーンである fact12: 「このエラー処理は消費欲求であるとしたら「このエラー処理は断熱しないけれどそれはサービス競争だ」ということは事実と異なる」ということは成り立つ fact13: なにかは冷え易くないししかも罹り易くない fact14: もしもとある物が断熱するししかもそれがサービス競争だとすればあの統括者は消費欲求だ
fact2 & fact11 -> int1: このエラー処理は断熱する; int1 & fact1 -> int2: このエラー処理は断熱するしサービス競争だ; int2 -> int3: 何かは断熱するし更にそれはサービス競争だ; int3 & fact14 -> int4: 「その統括者は消費欲求である」ということは成り立つ; fact3 & fact13 -> int5: その統括者は冗談っぽい; int4 & int5 -> int6: その統括者は消費欲求でその上冗談っぽい; fact10 -> int7: その統括者が消費欲求だし冗談っぽいとすればそれは気忙しくない; int6 & int7 -> hypothesis;
その統括者は気忙しい
$facts$ = fact1: このエラー処理はサービス競争である fact2: もしこのエラー処理は心置き無くないけれどスイートコーンならそれは断熱する fact3: もしも「冷え易くないしまた罹り易くない」物があればその統括者は冗談っぽい fact4: 「罹り易くない」ものはある fact5: 何かはサービス競争だ fact6: このエラー処理はスイートコーンだ fact7: このエラー処理はスポーツマンらしくないけど差し出がましい fact8: 「あるものは冷え易いがしかし罹り易くない」ということは真実だ fact9: 「断熱する」物はある fact10: もし仮に消費欲求が冗談っぽいとすればそれは気忙しくない fact11: このエラー処理は心置き無くないがしかしスイートコーンである fact12: 「このエラー処理は消費欲求であるとしたら「このエラー処理は断熱しないけれどそれはサービス競争だ」ということは事実と異なる」ということは成り立つ fact13: なにかは冷え易くないししかも罹り易くない fact14: もしもとある物が断熱するししかもそれがサービス競争だとすればあの統括者は消費欲求だ ; $hypothesis$ = その統括者は気忙しくない ; $proof$ = 
fact2 & fact11 -> int1: このエラー処理は断熱する; int1 & fact1 -> int2: このエラー処理は断熱するしサービス競争だ; int2 -> int3: 何かは断熱するし更にそれはサービス競争だ; int3 & fact14 -> int4: 「その統括者は消費欲求である」ということは成り立つ; fact3 & fact13 -> int5: その統括者は冗談っぽい; int4 & int5 -> int6: その統括者は消費欲求でその上冗談っぽい; fact10 -> int7: その統括者が消費欲求だし冗談っぽいとすればそれは気忙しくない; int6 & int7 -> hypothesis; __PROVED__
事実1: このエラー処理はサービス競争である
事実2: もしこのエラー処理は心置き無くないけれどスイートコーンならそれは断熱する
事実3: もしも「冷え易くないしまた罹り易くない」物があればその統括者は冗談っぽい
事実4: 「罹り易くない」ものはある
事実5: 何かはサービス競争だ
事実6: このエラー処理はスイートコーンだ
事実7: このエラー処理はスポーツマンらしくないけど差し出がましい
事実8: 「あるものは冷え易いがしかし罹り易くない」ということは真実だ
事実9: 「断熱する」物はある
事実10: もし仮に消費欲求が冗談っぽいとすればそれは気忙しくない
事実11: このエラー処理は心置き無くないがしかしスイートコーンである
事実12: 「このエラー処理は消費欲求であるとしたら「このエラー処理は断熱しないけれどそれはサービス競争だ」ということは事実と異なる」ということは成り立つ
事実13: なにかは冷え易くないししかも罹り易くない
事実14: もしもとある物が断熱するししかもそれがサービス競争だとすればあの統括者は消費欲求だ

仮説: その統括者は気忙しくない
1. 事実2と事実11から、推論1: "このエラー処理は断熱する"が導かれる
2. 推論1と事実1から、推論2: "このエラー処理は断熱するしサービス競争だ"が導かれる
3. 推論2から、推論3: "何かは断熱するし更にそれはサービス競争だ"が導かれる
4. 推論3と事実14から、推論4: "「その統括者は消費欲求である」ということは成り立つ"が導かれる
5. 事実3と事実13から、推論5: "その統括者は冗談っぽい"が導かれる
6. 推論4と推論5から、推論6: "その統括者は消費欲求でその上冗談っぽい"が導かれる
7. 事実10から、推論7: "その統括者が消費欲求だし冗談っぽいとすればそれは気忙しくない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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