あるものはハイ・カルチャーでない
fact1: 「その付近は到達主義だけれど投降だということはない」ということは誤りである fact2: 「あの作業所はオッズ差であるけれど劈かない」ということは事実と異なる fact3: もしもその付近は再生産構造であるしそれに暗しとすればそれはハイ・カルチャーでない fact4: 仮に「その付近は到達主義であるけれど投降だということはない」ということは誤っているなら再生産構造だ fact5: もし「あの作業所はオッズ差であるけど劈かない」ということは間違いであるならばその付近は暗し
fact4 & fact1 -> int1: その付近は再生産構造である; fact5 & fact2 -> int2: その付近は暗し; int1 & int2 -> int3: その付近が再生産構造だし暗し; int3 & fact3 -> int4: その付近はハイ・カルチャーでない; int4 -> hypothesis;
$facts$ = fact1: 「その付近は到達主義だけれど投降だということはない」ということは誤りである fact2: 「あの作業所はオッズ差であるけれど劈かない」ということは事実と異なる fact3: もしもその付近は再生産構造であるしそれに暗しとすればそれはハイ・カルチャーでない fact4: 仮に「その付近は到達主義であるけれど投降だということはない」ということは誤っているなら再生産構造だ fact5: もし「あの作業所はオッズ差であるけど劈かない」ということは間違いであるならばその付近は暗し ; $hypothesis$ = あるものはハイ・カルチャーでない ; $proof$ = 
fact4 & fact1 -> int1: その付近は再生産構造である; fact5 & fact2 -> int2: その付近は暗し; int1 & int2 -> int3: その付近が再生産構造だし暗し; int3 & fact3 -> int4: その付近はハイ・カルチャーでない; int4 -> hypothesis; __PROVED__
事実1: 「その付近は到達主義だけれど投降だということはない」ということは誤りである
事実2: 「あの作業所はオッズ差であるけれど劈かない」ということは事実と異なる
事実3: もしもその付近は再生産構造であるしそれに暗しとすればそれはハイ・カルチャーでない
事実4: 仮に「その付近は到達主義であるけれど投降だということはない」ということは誤っているなら再生産構造だ
事実5: もし「あの作業所はオッズ差であるけど劈かない」ということは間違いであるならばその付近は暗し

仮説: あるものはハイ・カルチャーでない
1. 事実4と事実1から、推論1: "その付近は再生産構造である"が導かれる
2. 事実5と事実2から、推論2: "その付近は暗し"が導かれる
3. 推論1と推論2から、推論3: "その付近が再生産構造だし暗し"が導かれる
4. 推論3と事実3から、推論4: "その付近はハイ・カルチャーでない"が導かれる
5. 推論4から、仮説が導かれる

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