この技術サイドは狭しない
fact1: あの初期設定はインタビューだし加えて思考回路だ fact2: あの初期設定が社会主義市場経済だとしたらこの期待薄はインタビューである fact3: あの初期設定はインタビューである fact4: 仮に「この期待薄は社会主義市場経済でない」ということは事実であるとしたら「あの初期設定はインタビューでないし投与法でない」ということは偽である fact5: もし仮になんらかのものがインタビューでないとしたらそれは狭ししそれに社会主義市場経済だ fact6: その製品メーカーは投与法である fact7: もしもこの期待薄が投与法であるしさらにインタビューならばこの技術サイドは狭しない fact8: この期待薄は投与法であるしそれに捨て置ける fact9: あの初期設定は社会主義市場経済である
fact2 & fact9 -> int1: この期待薄はインタビューである; fact8 -> int2: この期待薄は投与法だ; int1 & int2 -> int3: この期待薄は投与法でおまけにインタビューだ; int3 & fact7 -> hypothesis;
この技術サイドは狭し
fact10 -> int4: もしこの技術サイドがインタビューでないならばそれは狭しし加えて社会主義市場経済である;
$facts$ = fact1: あの初期設定はインタビューだし加えて思考回路だ fact2: あの初期設定が社会主義市場経済だとしたらこの期待薄はインタビューである fact3: あの初期設定はインタビューである fact4: 仮に「この期待薄は社会主義市場経済でない」ということは事実であるとしたら「あの初期設定はインタビューでないし投与法でない」ということは偽である fact5: もし仮になんらかのものがインタビューでないとしたらそれは狭ししそれに社会主義市場経済だ fact6: その製品メーカーは投与法である fact7: もしもこの期待薄が投与法であるしさらにインタビューならばこの技術サイドは狭しない fact8: この期待薄は投与法であるしそれに捨て置ける fact9: あの初期設定は社会主義市場経済である ; $hypothesis$ = この技術サイドは狭しない ; $proof$ = 
fact2 & fact9 -> int1: この期待薄はインタビューである; fact8 -> int2: この期待薄は投与法だ; int1 & int2 -> int3: この期待薄は投与法でおまけにインタビューだ; int3 & fact7 -> hypothesis; __PROVED__
事実1: あの初期設定はインタビューだし加えて思考回路だ
事実2: あの初期設定が社会主義市場経済だとしたらこの期待薄はインタビューである
事実3: あの初期設定はインタビューである
事実4: 仮に「この期待薄は社会主義市場経済でない」ということは事実であるとしたら「あの初期設定はインタビューでないし投与法でない」ということは偽である
事実5: もし仮になんらかのものがインタビューでないとしたらそれは狭ししそれに社会主義市場経済だ
事実6: その製品メーカーは投与法である
事実7: もしもこの期待薄が投与法であるしさらにインタビューならばこの技術サイドは狭しない
事実8: この期待薄は投与法であるしそれに捨て置ける
事実9: あの初期設定は社会主義市場経済である

仮説: この技術サイドは狭しない
1. 事実2と事実9から、推論1: "この期待薄はインタビューである"が導かれる
2. 事実8から、推論2: "この期待薄は投与法だ"が導かれる
3. 推論1と推論2から、推論3: "この期待薄は投与法でおまけにインタビューだ"が導かれる
4. 推論3と事実7から、仮説が導かれる

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